呼叫從繼承的類的實例靜態成員

Question

我有兩個班，Y和X，並且Y持有一些靜態成員 - 這我通過X實例試圖訪問：

template <class T> 
class Y { 
public: 
    Y() { 
     i = 0; 
     v = std::vector<int>(10, 10); 
    } 
    static int value() { 
     return v[i]; 
    } 
private: 
    static int i; 
    static std::vector<int> v; 
}; 

class X : public Y<X> { 
public: 
    X() { 
    } 
}; 

int main() { 
    X *x(new X()); 
    std::cout << x->value() << std::endl; 
} 

即使它編譯，它不正確鏈接：

$ g++ t.cpp 
/tmp/ccB4ijzw.o: In function `Y<X>::Y()': 
t.cpp:(.text._ZN1YI1XEC2Ev[Y<X>::Y()]+0x11): undefined reference to `Y<X>::i' 
t.cpp:(.text._ZN1YI1XEC2Ev[Y<X>::Y()]+0x4a): undefined reference to `Y<X>::v' 
/tmp/ccB4ijzw.o: In function `Y<X>::value()': 
t.cpp:(.text._ZN1YI1XE5valueEv[Y<X>::value()]+0x6): undefined reference to `Y<X>::i' 
t.cpp:(.text._ZN1YI1XE5valueEv[Y<X>::value()]+0x10): undefined reference to `Y<X>::v' 
collect2: ld returned 1 exit status            

---

上下文（如果它事項）：

我想寫一個內存管理器 - class Y - 即靜態持有的內存池，從而使class X使用的內存塊的所有實例的Y提供。

我不確定這是否是我想要做的最好的方法，但是到目前爲止我認爲是最優雅的方式。任何想法都非常受歡迎。

Answer 1

靜態數據成員必須定義以及聲明。如果這是一個普通的類，你會做這樣的：

// header: 
class C { 
    static int i; 
}; 

// source: 
int C::i = 3; 

有了類模板，你通常不會把代碼中的源文件，所以你應該這樣做：

// header: 
template <class T> 
class C { 
    static int i; 
}; 

template <class T> 
int C<T>::i = 3; 

Answer 2

由於功能value是靜態的，因此對於class Y的所有實例都是通用的。調用靜態成員函數的方法是一樣

std::cout << Y<X>::value() << std::endl; 

NOT（這是不是非法的，但它僅僅是不是一個好的做法。爲什麼讓功能靜態我你要做到這一點呢？）

std::cout << x->value() << std::endl; 

此外，你必須定義所有的靜態成員。就像

template <class T> 
int Y<T>::i = 0; 

template <class T> 
std::vector<int> Y<T>::v(0);