Perfect Forwarding в С++ 03

Если у вас есть эта функция

template<typename T> f(T&);

И затем попытайтесь вызвать его, допустим, значение r, как

f(1);

Почему T не выводится как const int, делая аргумент const int & и, следовательно, связывается с rvalue?

Ответ 1

Это упоминается как потенциальное решение в документе, который я связал в недавнем C + + 0x вопрос пересылки.

Это будет работать достаточно хорошо, но это сломает существующий код. Рассмотрим (прямо из документа):

template<class A1> void f(A1 & a1)
{
    std::cout << 1 << std::endl;
}

void f(long const &)
{
    std::cout << 2 << std::endl;
}

int main()
{
    f(5);              // prints 2 under the current rules, 1 after the change
    int const n(5);
    f(n);              // 1 in both cases
}

или

// helper function in a header

template<class T> void something(T & t) // #1
{
    t.something();
}

// source

#include <vector>

void something(bool) // #2
{
}

int main()
{
    std::vector<bool> v(5);

    // resolves to #2 under the current rules, #1 after the change
    something(v[0]);
}

Это также не позволяет переслать категорию значений (lvalue или rvalue), что не является большой проблемой в С++ 03. Но так как это исправление можно было сделать только во время С++ 0x, мы фактически закрыли бы себя из ссылок rvalue при пересылке (плохая вещь). Мы должны стремиться к лучшему решению.

Ответ 2

Это, но только если вы объявите f взять T const &.

template <typename T> void f(T &);
template <typename T> void g(T const &);

void x() { f(1); }  // error: invalid initialization of non-const reference
void y() { g(1); }  // no error

И если вы объявите как f(T &), так и f(T const &), он выберет конструкцию с константой:

template <typename T> void f(T &);
template <typename T> void f(T const &);

void x() { f(1); } // no error, calls f(T const &)

Теперь, может быть, вы говорите "в первом примере, почему он генерирует временный тип int для вызова f, когда он мог создать временный тип const int и сделал компиляцию кода?" Лучший ответ, который у меня есть для вас, это то, что это будет несовместимо с поведением разрешения перегрузки, когда аргумент не является константой целого.