Mảng và Rvalues ​​(như các thông số)

Question

Tôi tự hỏi nếu có cách nào để phân biệt các cuộc gọi chức năng (với mảng làm tham số) được hiển thị trong đoạn mã sau:

#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; 
} 

Các foo "chức năng gia đình" có khả năng phân biệt đối tượng tạm thời với tên được đặt tên. Không phải là trường hợp của foo_array.

Có thể trong C++ 11 không? Nếu không, bạn có nghĩ là có thể? (rõ ràng là thay đổi tiêu chuẩn)

Trân trọng. Fernando.

Answer 1

Không có gì sai với foo_array. Đó là trường hợp thử nghiệm xấu: "hello" là một giá trị! Hãy suy nghĩ về nó. Nó không phải là một tạm thời: chuỗi ký tự có thời gian lưu trữ tĩnh.

Một rvalue mảng sẽ là một cái gì đó như thế này:

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

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