Les tableaux et les rvalues ​​(comme paramètres)

Question

Je me demande s'il y a un moyen de différencier les appels de fonction (avec des tableaux comme paramètres) indiqués dans le code suivant:

#include <cstring> 
#include <iostream> 

template <size_t Size> 
void foo_array(const char (&data)[Size]) 
{ 
    std::cout << "named\n"; 
} 

template <size_t Size> 
void foo_array(char (&&data)[Size]) //rvalue of arrays? 
{ 
    std::cout << "temporary\n"; 
} 


struct A {}; 

void foo(const A& a) 
{ 
    std::cout << "named\n"; 
} 

void foo(A&& a) 
{ 
    std::cout << "temporary\n"; 
} 


int main(/* int argc, char* argv[] */) 
{ 
    A a; 
    const A a2; 

    foo(a); 
    foo(A());    //Temporary -> OK! 
    foo(a2); 

    //------------------------------------------------------------ 

    char arr[] = "hello"; 
    const char arr2[] = "hello"; 

    foo_array(arr); 
    foo_array("hello");  //How I can differentiate this? 
    foo_array(arr2); 

    return 0; 
} 

La « famille de fonction » foo est capable de distinguer un objet temporaire d'un nom. Ce n'est pas le cas de foo_array.

Est-ce possible en C++ 11? Si non, pensez-vous que ce soit possible? (Évidemment changer la norme)

Cordialement. Fernando.

Answer 1

Il n'y a rien de mal avec foo_array. C'est le cas de test qui est mauvais: "hello" est une lvalue! Penses-y. Ce n'est pas temporaire: les littéraux de chaîne ont une durée de stockage statique.

Un rvalue tableau serait quelque chose comme ceci:

template <typename T> 
using alias = T; 
// you need this thing because char[23]{} is not valid... 

foo_array(alias<char[23]> {});