ADL使用失败的例子

disheng727

书上关于ADL这样的例子：

1. 
   
2. namespace N {
   
3.     class X {
   
4.           //...
   
5.     };
   
6.     template<int I> void select(X *);
   
7. }
   
8. 
   
9. void g(N::X *xp) {
   
10.     select<3>(xp);
    
11. }
    

复制代码

g函数里进行select调用，根据ADL规则，应该可以查找到select这个函数模板，因为它与X在同一名字空间。 但的却查找失败。谁能解释一下，书上说的含糊。

xpycc

LZ 请看：

1. 
   
2. namespace N {
   
3.         template <class T, class V> class X {};
   
4.         template <class T> void select(X<T, float> *) {}
   
5. }
   

复制代码

以下有三个代码段，都尝试调用 N::select<int> 这个函数：

1. 
   
2. void g(N::X<int, float> *xp) {
   
3.         select(xp);        // OK!
   
4. }

复制代码

1. 
   
2. void g(N::X<int, float> *xp) {
   
3.         select<int>(xp);   // Error! 'select' was not declared in this scope
   
4. }

复制代码

1. 
   
2. void g(N::X<int, float> *xp) {
   
3.         N::select<int>(xp);    // OK!
   
4. }

复制代码

相信 LZ 应该明白了吧。