訪問模板參數列表中以前模板參數的typedefs？

Question

我'不知道是否有可能訪問的給定爲在以後的模板參數前面的模板參數模板參數列表，像這樣的類型的類型定義：

#include <iostream> 

template<typename V> 
struct TypeHolder { 
    typedef V value_type; 
}; 

template<typename T, T::value_type v> 
struct ValueHolder { 
    const static typename T::value_type value = v; 
}; 

int main() { 
    typedef TypeHolder<int> IntTypeHolder; 
    typedef ValueHolder<IntTypeHolder,5> Five; 

    std::cout << Five::value << std::endl; 

    return 0; 
} 

當我編譯上面的例子中，我得到以下錯誤：

damian@damian-HP-EliteBook-8440p:~$ g++ -o cpptest test.cpp
test.cpp:8:25: error: 'T::value_type' is not a type

這是由於錯誤的語法或什麼，我想在C++做的只是不可能++？

Answer 1

這是由於錯誤的語法，你試圖做的T::value_type v是爲了得到一個正確的值？

然後更好地利用類似的東西：

template<typename T> 
struct ValueHolder { 
    const static typename T::value_type value; 
    ValueHolder(typename T::value_type v) 
    { 
     ValueHolder::value = v; 
    } 
} 

Answer 2

這可能。您錯過了關鍵字typename。

template<typename T, typename T::value_type v> 
struct ValueHolder { ^^^^^^^^ 
    ... 

您必須通知編譯器T::value_type是一種類型。 Demo。

Answer 3

如果前綴typename的模板參數它編譯：

template<typename T, typename T::value_type v> 
struct ValueHolder { 
    const static typename T::value_type value = v; 
} 

採用typename有助於編譯器知道，在這種情況下，T::命名空間中引用的標識符value_type是一個類型，而不是一個成員函數或可變。

Answer 4

嘗試以下操作：

template<typename T, typename T::value_type v> 
struct ValueHolder { 
    const static typename T::value_type value = v; 
}; 

您的GOT爲「類型名稱」前綴爲您T:value_type ......不幸的是，只是因爲value_type是T一個typedef成員並不意味着C++的語法分析器可以告訴。它可能是一個實際的靜態數據成員，靜態方法等。因此，當訪問其他名稱空間/類中的完全限定類型時，必須以typename爲前綴。