Массивы и R-значения (как параметры)

Интересно, есть ли способ различать вызовы функций (с массивами в качестве параметров), показанные в следующем коде:

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

"Семейство функций" foo может чтобы отличить временный объект от именованного. Это не случай foo_array.

Возможно ли это в C++11? Если нет, как вы думаете, это возможно? (очевидно, изменение стандарта)

С уважением. Фернандо.

7
задан Fernando Pelliccioni 16 May 2012 в 18:40
поделиться