顯式實例化C++類模板實例化相關基類？

Question

我想通了顯式實例請求將自動實例的所有基類成員還可以，但使用Visual Studio 2008或2010

注意添加到foo()內bar()呼叫強制編譯器建設這個代碼時，我得到一個linker error: unresolved external symbol "public: void Base<int>::foo(int)"實例化Base<int>::bar()並且構建成功，所以似乎編譯器具有實例化foo()所需的全部信息。

明顯地，在source.cpp中明確實例化Base<int>可以使構建成功，但顯式實例化派生類時需要顯式實例化任何相關基類似乎很愚蠢。

這是正常的嗎？我無法找到關於這個問題的標準。

header.h

template<typename T> 
class Base { 
public: 
    void foo(); 
}; 

template<typename T> 
class Derived : public Base<T> { 
public: 
    void bar(); 
}; 

source.cpp

#include "header.h" 

template<typename T> 
void Base<T>::foo() { } 

template<typename T> 
void Derived<T>::bar() { 
    // this->foo(); // adding this forces instantiation of foo()??? 
} 

template class Derived<int>; 

的main.cpp

#include "header.h" 

int main() { 
    Derived<int> d; 
    d.foo(); // Linker Error: unresolved external symbol "public: void Base<int>::foo(int)" 
} 

編輯：

它看起來像標準說只有一個類的成員通過顯式類實例化來實例化，所以在我的例子中鏈接器錯誤是合理的。

請注意，一個類是由class-head {member-specification}定義的，「類定義中的成員規範聲明瞭該類的全部成員;沒有成員可以添加到別處。因此，成員只在大括號{}之間，並且公共基類成員不會成爲派生類的成員，它們只能從派生類或派生類的對象訪問。

我唯一剩下的問題是爲什麼標準指定類模板的顯式實例化只實例化成員而不是基類的成員？我的猜測是，這可以更好地控制哪些地方顯式實例化。某個使用顯式模板類實例的人很可能將基類定義放在與派生類定義不同的文件中，並且會分別明確地實例化每個實例。

Answer 1

標準說

類模板專業化的顯式實例意味着其所有成員之前沒有明確的專業包含顯式實例翻譯單元的的實例。

換句話說，它沒有要求基類被輪流實例化。它會導致它們的隱式實例化，而不會實例化它們的成員定義。這是標準中的一個醜陋的小故障，它是指一些文本中「成員」是指「直接」還是「繼承」的成員，因爲對於編寫標準措辭的人來說，這似乎是「顯而易見的」，但對於一個誰讀它。 C++ 0x增加了一些說明（C++ 03沒有明確實例化聲明和定義之間的差異，但即使忽略這一點，C++ 0x的措辭包含一些更多的位洞察力）：

的顯式實例名稱類模板特殊化也是它的每個成員（不包括成員從基本繼承 類），其具有的 同類（聲明或者去網絡nition）的顯式實例先前未明確專門用於包含明確的示例的翻譯單元，除了下面描述的內容之外。 [注意：另外，它通常是一個明確的實例化 某些與實現有關的類的數據。 - 結束註釋]