模板繼承類, 調(diào)用父類的方法, 編譯不過(guò)了, 為什么?

cdsfiui

下面幾行小程序,VC可以編譯過(guò),可是gcc,clang卻編譯不過(guò):

1. 
   
2. template<class T>
   
3. class Y
   
4. {
   
5. public:
   
6.     void f(){};
   
7. };
   
8. template<class T>
   
9. class X:public Y<T>
   
10. {
    
11. public:
    
12.     X()
    
13.     {
    
14.         f();
    
15.     }
    
16. };
    
17. int main()
    
18. {
    
19.     X<int> obj;
    
20.     return 0;
    
21. }
    

復(fù)制代碼

GCC編譯提示:
D:\Documents\TestProjects\main.cpp|139|error: there are no arguments to 'f' that depend on a template parameter, so a declaration of 'f' must be available [-fpermissive]|

Clang編譯提示:
error: use of undeclared identifier 'f'
        f);

我如果改成了Y<T>::f()這樣的調(diào)用，那就沒(méi)有問(wèn)題了。這是為什么呢，這個(gè)錯(cuò)誤是C++標(biāo)準(zhǔn)規(guī)定了的嗎?
問(wèn)題:
1. 對(duì)于普通類，而非模板類而言，直接調(diào)用基類定義的函數(shù)，沒(méi)有問(wèn)題。為什么模板類需要我加上父類名稱?
2. 這樣一來(lái)，我在模板類繼承體系中，凡是要調(diào)用父類的地方，豈不是都要顯示的使用父類名稱? 這種麻煩能否避免?

可能我理解的不到位，還請(qǐng)指針
謝謝。

OwnWaterloo

cdsfiui 發(fā)表于 2015-11-20 11:26
我如果改成了Y<T>::f()這樣的調(diào)用，那就沒(méi)有問(wèn)題了。這是為什么呢，這個(gè)錯(cuò)誤是C++標(biāo)準(zhǔn)規(guī)定了的嗎?

是。。。

cdsfiui 發(fā)表于 2015-11-20 11:26
1. 對(duì)于普通類，而非模板類而言，直接調(diào)用基類定義的函數(shù)，沒(méi)有問(wèn)題。為什么模板類需要我加上父類名稱?

處理模板時(shí)名字查找的方式不一樣。。。

cdsfiui 發(fā)表于 2015-11-20 11:26
2. 這樣一來(lái)，我在模板類繼承體系中，凡是要調(diào)用父類的地方，豈不是都要顯示的使用父類名稱? 這種麻煩能否避免?

不能避免。。。  但除了Y<T>::f()外還有其他方式表達(dá)想要調(diào)用基類的f。。。
1. Y<T>::f()
2. this->f()
3. using Y<T>::f;


為什么X構(gòu)造函數(shù)里寫(xiě)f()不表示調(diào)用繼承得到的f。。。  至少有這么一個(gè)原因。。。
如果Y不是模板。。。 那Y一定有f函數(shù)。 但Y是類（主）模板。。。 這個(gè)就不一定了。。。  比如：

1. 
   
2. template<class T> class Y { public: void f() {} };
   
3. template<class T> class X : public Y<T> { public: X() { /* f() */ } };
   
4. template<class T> class Y<T*> {};
   

復(fù)制代碼

Y<int> 就有f， 而Y<int*> 就沒(méi)有。  于是 X<int>就（通過(guò)繼承）有f， 而X<int*> 就沒(méi)有。
只有用具體類型參數(shù)去實(shí)例化模板時(shí)，才能知道Y有沒(méi)有f，以及X有沒(méi)有繼承f。
第2行那里繼承的Y依然是參數(shù)化而不是具體的類型， 是不知道它有沒(méi)有f， 也沒(méi)辦法"提前"去查看的， 偏特化故意寫(xiě)在后面怎么著。。。

https://isocpp.org/wiki/faq/temp ... t-name-lookup-types
https://gcc.gnu.org/onlinedocs/gcc/Name-lookup.html

bruceteen

只到實(shí)例化的時(shí)候，class X 是沒(méi)法知道 f 是什么的。

hellioncu

想想為什么下面的代碼輸出：

1. #include <iostream>
   
2. 
   
3. void f()
   
4. {
   
5.         std::cout << "::f()" << std::endl;
   
6. }
   
7. 
   
8. template<class T>
   
9. class Y
   
10. {
    
11. public:
    
12.     void f(){std::cout << "Y::f()" << std::endl;};
    
13. };
    
14. template<class T>
    
15. class X:public Y<T>
    
16. {
    
17. public:
    
18.     X()
    
19.     {
    
20.         f();
    
21.     }
    
22. };
    
23. int main()
    
24. {
    
25.     X<int> obj;
    
26.     return 0;
    
27. }
    

復(fù)制代碼

1. #include <iostream>
   
2. 
   
3. void f()
   
4. {
   
5.         std::cout << "::f()" << std::endl;
   
6. }
   
7. 
   
8. class Y
   
9. {
   
10. public:
    
11.     void f(){std::cout << "Y::f()" << std::endl;};
    
12. };
    
13. class X:public Y
    
14. {
    
15. public:
    
16.     X()
    
17.     {
    
18.         f();
    
19.     }
    
20. };
    
21. int main()
    
22. {
    
23.     X obj;
    
24.     return 0;
    
25. }
    

復(fù)制代碼

lost_templar

1.     template<class T>
   
2.     class Y
   
3.     {
   
4.     public:
   
5.         void f(){};
   
6.     };
   
7.     template<class T>
   
8.     class X:public Y<T>
   
9.     {
   
10.     public:
    
11.         X()
    
12.         {
    
13.             (*this).f();
    
14.         }
    
15.     };
    
16.     int main()
    
17.     {
    
18.         X<int> obj;
    
19.         return 0;
    
20.     }

復(fù)制代碼