Как должен вести себя этот код? Он вызывает общую функцию, игнорирующую мою перегрузку, если я использую квалифицированное имя в функции call_read(); и он сначала вызывает перегрузку, а затем общую версию, если я использую неквалифицированное имя. Какая разница? Это ошибка в GCC?
#include <iostream>
struct info1 {};
struct info2 {};
template<class T> void read(T& x)
{
std::cout << "generic" << std::endl;
}
template<class T> void call_read(T& x)
{
::read(x); // if I replace ::read(x) with read(x) the overload is called
}
void read(info1& x)
{
std::cout << "overload" << std::endl;
}
int main()
{
info1 x;
info2 y;
call_read(x);
call_read(y);
}
Я также заметил, что он работает по-разному для фундаментальных типов. См. Ниже приведенный ниже код
#include <iostream>
typedef struct info1 {};
typedef struct info2 {};
typedef int info3;
typedef double info4;
template<class T> void read(T x)
{
std::cout << "generic" << std::endl;
}
template<class T> void call_read(T x)
{
read(x);
}
void read(info1 x)
{
std::cout << "overload" << std::endl;
}
void read(info3 x)
{
std::cout << "overload" << std::endl;
}
int main()
{
call_read(info1());
call_read(info2());
call_read(info3());
call_read(info4());
}
Предполагается, что функция перегружать дважды, но это не так. См. Результат здесь http://codepad.org/iFOOFD52
