通過模板類的基的參數依賴查找

Question

我有一個模板類NB::B<T>從命名空間中的非模板類NA::A派生。 act<T>是一個模板函數，在其模板參數的實例上調用add_ref函數。具體而言，act<NB::B<int>>想要使用ADL在NB::B的基地名稱空間中找到add_ref。完整的例子如下：

template<class T> 
void act() { 
    T* p = 0; 
    add_ref(p); // the failing line 
} 

namespace NA 
{ 
    struct A { }; 

    // I want ADL to find this: 
    void add_ref(A* p) { 
    } 
} 

namespace NB 
{ 
    // template class with non-template base 
    template <class T> 
    struct B: NA::A { }; 

    typedef B<int> Bi; 

    // using NA::add_ref; // fixes the problem 
} 

int main() 
{ 
    act<NB::Bi>(); 
} 

這個編譯好吧gcc（4.7.0）。並在Comeau在線。然而clang（3.1）失敗：

a.cpp:4:3: error: use of undeclared identifier 'add_ref' 

與此同時，標準如下：

3.4.2/2 ...

- 如果T是模板id，其相關的名稱空間和類是定義模板的名稱空間;對於成員模板，成員模板的類;與爲模板類型參數提供的模板參數類型（不包括模板模板參數）相關聯的名稱空間和類;在其中定義了任何模板模板參數的名稱空間;以及定義用作模板模板參數的任何成員模板的類。

令人驚訝的是，模板的基地沒有列爲關聯名稱空間的路徑。因此clang的行爲似乎是正確的。並且Comeau和gcc正在接受不正確的程序。

與此同時，3.4.2/3指出using的論辯的命名空間沒有任何效果：

在考慮相關的命名空間，查找是一樣的，當相關的名稱空間被用作執行查找一個限定符（3.4.3.2）除了：

- 關聯名稱空間中的任何使用指令都將被忽略。

但是當我取消註釋using NA::add_ref行clang很樂意編譯測試。

把我的例子轉化爲現實的角度來看，可以認爲act是的boost::intrusive_ptr的方法，add_ref(A*)是intrusive_ptr_add_ref(CBase*)和B是一些模板，從基地CBase獲得。

這對於我有幾個問題：

1. 我是不是正確的，clang的是正確的拒絕我的測試程序，並gcc和Comeau不遵循標準？

2. 是否有一個原因爲什麼標準指定這種不切實際的行爲（不允許將模板類庫作爲關聯的名稱空間）？

3. 是clang錯誤接受我的測試程序與using NA::add_ref指令的理由3.4.2/3？

4. 我應該報告一個錯誤嗎？ :)

P.S.我已閱讀clang Language Compatibility FAQ，但沒有找到答案。

Answer 1

從n3337，這基本上是C++ 11與小的編輯的變化，3.4.2/2讀取：

對於在函數調用每個參數類型T [...]的集合 命名空間和類都通過以下方式確定：[...]

• 如果T是一個類類型（包括工會），其相關聯的類別是：類本身;它是其成員的類別（如果有的話）;和其直接和間接基類。其關聯的名稱空間是其關聯的類是其成員的名稱空間。 此外，如果T是一個類模板專業化，...

然後將其與基本上你的問題張貼在同一報價繼續。這裏的重要區別是此外，這意味着您引用（和我省略）的列表除了已經提到的名稱空間外，還包括基類所屬的名稱空間。

1. Gcc和comeau是正確的，並且鏗鏘聲++在拒絕代碼時是錯誤的。

2. <不適>

3. 鏘++是錯誤的拒絕它沒有using NA::add_ref。

4. 是的，你應該報告一個錯誤。 看來它已經被報告和修復。