C++ - экземпляр шаблона со ссылочным типом

Question

Я немного слышал о проблеме ссылки на ссылку и this. Я не очень хорошо разбираюсь в терминологии Комитета C++, но я понимаю, что аннотация «Перемещено в DR» в ссылке означает, что это текущая интерпретация, которой должны придерживаться совместимые со стандартом компиляторы.

У меня есть этот пример кода, который я не могу понять:

template <typename T> 
struct C { 
    void f(T&) { } 
    void f(const T&) { } 
}; 

int main() { 
    C<int> x;  // OK 
    C<int&> y;  // compile error: f cannot be overloaded 
    C<const int&> z; // compile error: f cannot be overloaded 
} 

Я понимаю, ошибка в C<const int&> случае: используя правила из DR # 106, мы получаем два метода с одной и той же сигнатуры F (Const ИНТ &). То, что я не получаю, это случай C<int&>: не должен ли он генерировать точно такой же код, как C<int> (по крайней мере, согласно резолюции Страустрапа)?

Answer 1

DR только означает «Отчет о дефектах», и, насколько мне известно, описанная резолюция еще не дошла до стандарта. По этой причине я считаю, что строго соответствующая реализация C++ 03 не должна компилировать этот код из-за того, что он создает ссылку на ссылку.

[Изменить] Всего найдено nice answer по этой проблеме.

Answer 2

Интересно, что при компиляции кода (Visual C++ 10 Express) я получаю ошибки, но когда я пытаюсь это простой случай:

int main(int argc, char* argv[]) 
{ 
    C<int> x;  // OK 
    C<const int> x1; // error C2535: 'void C<T>::f(T &)' : member function 
        // already defined or declared 
    return 0; 
} 

Похоже реф ссылок к прогнивший определяется в ДР вы упомянули, что const ref становится простым не-const ref внутри шаблона. Моя проблема заключается в том, что я не понимаю, почему второй f не просто игнорируется.

Если изменить C так, что второй е является const -qualified, это сейчас составляет:

template <typename T> 
struct C { 
    void f(T&) { } 
    void f(const T& t) const {} 
}; 

Подразумевается, кажется, что, когда C инстанцируется const ничего (реф или нет), два C::f перегрузки просто идентичны и приводят к обнаружению дубликатов времени компиляции.

Возможно, кто-нибудь умнее меня может расшифровать цепочку более определенно здесь.

EDIT: Подумав, это не удивительно, здесь T = const int& результаты в f перегрузках тождественно инстанцирован в

void f(const int&) {} 

Вот что компилятор говорит мне:

#include "stdafx.h" 

template <typename T> 
struct C { 
    void f(T&) { } 
    void f(const T&) { } 
}; 

int main() { 
    C<const int&> z; // compile error: f cannot be overloaded 
    return 0; 
} 

дает эту ошибку:

1>test.cpp(6): error C2535: 'void C<T>::f(T)' : member function already 
    defined or declared 
1>   with 
1>   [ 
1>    T=const int & 
1>   ] 
1>   test.cpp(5) : see declaration of 'C<T>::f' 
1>   with 
1>   [ 
1>    T=const int & 
1>   ] 
1>   test.cpp(10) : see reference to class template instantiation 
       'C<T>' being compiled 
1>   with 
1>   [ 
1>    T=const int & 
1>   ] 

Я даже не убежден, что это имеет какое-либо отношение к DR.