模板麪條

Question

請扔一些光對莫名其妙的一塊模板麪條：

template <typename T, typename K> class A { 
public: 
    T t; 
    K k; 

    template <int i, int unused = 0> struct AttributeType { 
    }; 

    template <int i> AttributeType<i> getAttr(); 

}; 

template <typename T, typename K> template <int i> A<T, K>::AttributeType<i> A<T, K>::getAttr<i>() { 
    return t; 
} 

我不能拿出正確的語法定義的A::getAttr()實施。目前的代碼失敗在GETATTR定義的行編譯：

error: function template partial specialization ‘getAttr<i>’ is not allowed

我應該如何改寫函數的定義？

Answer 1

刪除<i>函數名的後面，返回類型前添加一個typename，這是一個從屬名稱。此外，它缺少AttributeType前template，因爲這是一個模板：

template <typename T, typename K> 
template <int i> 
typename A<T, K>::template AttributeType<i> A<T, K>::getAttr() { 
    return t; 
} 

其次，它有助於讓每個模板部分自己的路線。使東西更清晰。

除此之外，該功能看起來不對，還是AttributeType有一個轉換構造函數從T？