当这种奇怪的行为发生时,我正在处理一些代码:
在第一个测试中,基本模板化函数、用户和模板化特化位于同一个命名空间中,并且它的行为符合我的预期:
namespace Test1
{
template <typename V, typename T>
int doFoo(V& a_visitor, T& a_value)
{
return 0;
}
struct Foo
{
template <typename T>
int process(T const& a_value)
{
return doFoo(*this, a_value);
}
};
template <typename T>
int doFoo(Foo& a_vis, T const& a_ptr)
{
return 1;
}
}
int main()
{
int const k{ 42 };
return Test1::Foo{}.process(k); // returns 1
}
但是当我将基本模板化函数及其特化移动到另一个命名空间时,选择了基本函数:
namespace Test2
{
namespace b
{
template <typename V, typename T>
int doBar(V& a_visitor, T& a_value)
{
return 0;
}
}
struct Bar
{
template <typename T>
int process(T const& a_value)
{
return b::doBar(*this, a_value);
}
};
namespace b
{
template <typename T>
int doBar(Bar& a_vis, T const& a_ptr)
{
return 1;
}
}
}
int main()
{
int const k{ 17 };
return Test2::Bar{}.process(k); // returns 0
}
EDIT 我什至可以做的更奇怪:在示例 1 中,如果我用 Test1::doFoo
替换对 doFoo
的调用,我会得到错误的行为再次!
谁能给我解释一下这是怎么回事?如果我真的需要 struct Bar 不在命名空间 b 内,我该怎么办?
最佳答案
首先,那些不是特化,而是重载。彼此不相关的完全不同的函数模板。
您看到的行为与 argument-dependent lookup 一致.遇到不合格函数调用时,编译器会通过检查与函数调用的每个参数关联的命名空间来构建重载集。
通常这不会找到“之后”的声明,但模板很特殊。在模板中查找依赖名称,例如依赖于模板参数(a_value
的类型)的函数调用,是在模板实例化之后执行的,而不是在定义点执行的。这发生在 main
中,在命名空间完成且所有重载可用之后,因此 ADL 找到第二个重载。
这也是为什么当您通过 Test1
限定调用时,您不再发现第二个重载。这否定了 ADL,并且只允许在调用点之前出现的重载。解决它的最简单方法可能是延迟 process
的定义,直到所有重载都可用,如其他答案所示。
关于c++ - 命名空间内的模板特化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57033163/