为什么ADL找不到函数模板？
为什么ADL找不到函数模板？
提问于 2010-06-02 06:00:05
C++规范的哪个部分限制依赖参数的查找在一组关联的名称空间中查找函数模板？换句话说，为什么下面main中的最后一个调用无法编译？
namespace ns {
struct foo {};
template<int i> void frob(foo const&) {}
void non_template(foo const&) {}
}
int main() {
ns::foo f;
non_template(f); // This is fine.
frob<0>(f); // This is not.
}回答 1
Stack Overflow用户
发布于 2010-06-02 06:40:37
编辑:不，这是不正确的。参见@Kornel's answer。
我不完全确定，但在参考了Stroustrup的"The C++ programming language“之后，我认为附录C的13.8.4节可能是原因。
因为frob是一个模板，所以可以想象，在调用它之后的某个时刻，可以为i=0专门使用它。这意味着实现将有两种可能的方式来选择调用哪个frob，因为它似乎可以在实例化时或在处理翻译单元的末尾选择它。
所以，我认为问题是你可以
namespace ns {
struct foo {};
template<int i> void frob(foo const&) {}
}
int main() {
ns::foo f;
frob<0>(f);
return 0;
}
namespace ns {
template<> void frob< 0 >(foo const&) { /* Do something different*/ }
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/2953684
复制相关文章
相似问题
腾讯云开发者
