При написании методов шаблона я столкнулся со следующим поведением, которое я не понимаю.
У меня есть следующий код:
#include <array>
#include <iostream>
namespace A
{
template<typename T>
class Bar
{
T Var;
};
}
namespace B
{
template<typename T>
void Foo(const T& var)
{
std::cout << "default template method has been called" << std::endl << std::endl;
}
template<typename T, size_t N>
void Foo(const std::array<T,N>& var)
{
std::cout << "Array overload has been called" << std::endl;
for(auto& elem : var)
{
Foo(elem);
}
}
template<typename T>
void Foo(const A::Bar<T>& var)
{
std::cout << "Bar overload has been called" << std::endl << std::endl;
}
}
int main()
{
int VarInt;
A::Bar<int> VarBar;
std::array<int, 1> ArrayInt;
std::array<A::Bar<int>, 1> ArrayBar;
B::Foo(VarInt);
B::Foo(VarBar);
B::Foo(ArrayInt);
B::Foo(ArrayBar);
return 0;
}
Это не то, что я ожидаю, как и в случае с массивом Bar, вместо перегрузки Bar вызывается шаблон по умолчанию:
default template method has been called
Bar overload has been called
Array overload has been called
default template method has been called
Array overload has been called
default template method has been called
Я заметил, что выполнение следующих действий позволяет компилятору находить правильные перегрузки:
Да, это правда, однако, хотя это возможно в рамках этого примера (который, конечно, намного проще того, с чем я работаю), в реальном случае это сделать нецелесообразно. Я бы предпочел использовать решение объявления перегрузок перед их реализацией.
@JM Да, я бы тоже предпочел декларацию перед реализацией.
It's output is not what i expect as with the array of Bar, the default template is called instead of the Bar overload
Для выражения вызова B::Foo(ArrayBar)
выбирается вторая перегрузка void Foo(const std::array<T,N>& var)
, где N
выводится в 1
, а T
выводится в A::Bar<int>
.
Теперь внутри этой перегрузки, когда встречается выражение вызова Foo(elem)
, компилятор не знает о третьем перегруженном Foo
. Таким образом, он выбирает первую перегрузку Foo
, которая является наиболее общей из двух доступных на тот момент.
declaring all the templates prototypes before implementing them
Предоставление объявлений для всех перегрузок Foo
перед их реализацией позволяет компилятору узнать, что существует третья перегрузка Foo
. Итак, на этот раз выражение вызова Foo(elem)
вызывает третью перегруженную Foo
, как и ожидалось (потому что она более особенная, чем первая перегрузка Foo
).
removing all namespaces
А когда все помещается в одно глобальное пространство имен, из-за АДЛ обнаруживается и третья перегрузка.
Почему Foo(Bar)
вызывается, когда все находится в глобальном пространстве имен? Это потому, что Foo(Bar)
и Bar
находятся в одном и том же пространстве имен, поэтому ADL находит его?
@paolo В основном да из-за ADL.
Правильно, когда вызов зависимой функции, такой как Foo(elem)
, подходит для ADL, функции-кандидаты — это объявления, видимые из определения шаблона, а также объявления, найденные ADL. Но для типа аргумента A::Bar<int>
ADL не ищет в пространстве имен B
.
Вы получите ожидаемое поведение, переместив
Foo(Bar)
в пространство именA
или переместив его вышеFoo(std::array)
.