亚洲av成人无遮挡网站在线观看,少妇性bbb搡bbb爽爽爽,亚洲av日韩精品久久久久久,兔费看少妇性l交大片免费,无码少妇一区二区三区

Chinaunix

標(biāo)題: 模板繼承類, 調(diào)用父類的方法, 編譯不過了, 為什么? [打印本頁(yè)]

作者: cdsfiui    時(shí)間: 2015-11-20 11:26
標(biāo)題: 模板繼承類, 調(diào)用父類的方法, 編譯不過了, 為什么?
下面幾行小程序,VC可以編譯過,可是gcc,clang卻編譯不過:

  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.         f();
  14.     }
  15. };
  16. int main()
  17. {
  18.     X<int> obj;
  19.     return 0;
  20. }
復(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)用,那就沒有問題了。這是為什么呢,這個(gè)錯(cuò)誤是C++標(biāo)準(zhǔn)規(guī)定了的嗎?
問題:
1. 對(duì)于普通類,而非模板類而言,直接調(diào)用基類定義的函數(shù),沒有問題。為什么模板類需要我加上父類名稱?
2. 這樣一來,我在模板類繼承體系中,凡是要調(diào)用父類的地方,豈不是都要顯示的使用父類名稱? 這種麻煩能否避免?

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

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

是。。。

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

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

cdsfiui 發(fā)表于 2015-11-20 11:26
2. 這樣一來,我在模板類繼承體系中,凡是要調(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ù)里寫f()不表示調(diào)用繼承得到的f。。。  至少有這么一個(gè)原因。。。
如果Y不是模板。。。 那Y一定有f函數(shù)。 但Y是類(主)模板。。。 這個(gè)就不一定了。。。  比如:

  1. template<class T> class Y { public: void f() {} };
  2. template<class T> class X : public Y<T> { public: X() { /* f() */ } };
  3. template<class T> class Y<T*> {};
復(fù)制代碼
Y<int> 就有f, 而Y<int*> 就沒有。  于是 X<int>就(通過繼承)有f, 而X<int*> 就沒有。
只有用具體類型參數(shù)去實(shí)例化模板時(shí),才能知道Y有沒有f,以及X有沒有繼承f。
第2行那里繼承的Y依然是參數(shù)化而不是具體的類型, 是不知道它有沒有f, 也沒辦法"提前"去查看的, 偏特化故意寫在后面怎么著。。。

https://isocpp.org/wiki/faq/temp ... t-name-lookup-types
https://gcc.gnu.org/onlinedocs/gcc/Name-lookup.html
作者: bruceteen    時(shí)間: 2015-11-20 11:48
只到實(shí)例化的時(shí)候,class X 是沒法知道 f 是什么的。
作者: hellioncu    時(shí)間: 2015-11-20 11:55
想想為什么下面的代碼輸出:
  1. #include <iostream>

  2. void f()
  3. {
  4.         std::cout << "::f()" << std::endl;
  5. }

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

  2. void f()
  3. {
  4.         std::cout << "::f()" << std::endl;
  5. }

  6. class Y
  7. {
  8. public:
  9.     void f(){std::cout << "Y::f()" << std::endl;};
  10. };
  11. class X:public Y
  12. {
  13. public:
  14.     X()
  15.     {
  16.         f();
  17.     }
  18. };
  19. int main()
  20. {
  21.     X obj;
  22.     return 0;
  23. }
復(fù)制代碼

作者: lost_templar    時(shí)間: 2015-11-20 18:41
  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ù)制代碼





歡迎光臨 Chinaunix (http://www.72891.cn/) Powered by Discuz! X3.2