模板错误：nontype“.. [with T = T]不是类型名称”

Question

我试图使用typedef来定义我的内存对齐方式，于是我得到了以下的结构（这仍然需要一些进展，因为我需要纠正GNU版本）：

#if defined(__GNUG__)
template <typename T>
struct sfo_type {
    typedef T* restrict __attribute__((aligned(32))) aptr32;
};

#elif defined(__INTEL_COMPILER)
template <typename T>
struct sfo_type {
    typedef T* restrict __attribute__((aligned(32))) aptr32;
};
#endif  

然后我尝试像这样使用它：

template<typename T>
class tsfo_vector {
private:
   sfo_type<T>::aptr32  m_data;
   int                  m_size;
...

但是我收到了以下错误消息：

/Users/bravegag/code/fastcode_project/code/src/sfo_vector.h(43): error: nontype "sfo_type<T>::aptr32 [with T=T]" is not a type name
 sfo_type<T>::aptr32 m_data;
 ^

有人能指导一下这里出了什么问题吗？

- SkyWalker

Answer 1

aptr32 依赖于 T，因此：

template<typename T>
    class tsfo_vector {
    private:
        typename sfo_type<T>::aptr32 m_data;
      //^^^^^^^^

如需进一步了解typename的使用，请参见在哪里以及为什么我必须放置“template”和“typename”关键字？

- hmjd

---

很好，谢谢！实际上我对这个有点困惑...为什么数据成员在编译时必须在前面加上typedef标记？这有点奇怪。 - SkyWalker

@GiovanniAzua，连结的答案比我能描述得更清楚地解释了typename的用法。 - hmjd

@GiovanniAzua：不是数据成员，而是它的类型前缀带有“typedef”。 - celtschk

简短的回答是，即使编译器可能有您对sfo_type的定义，但在使用它的时候可能会有一个显式的特化（比如sfo_type<int>）；没有要求特化具有与一般模板相同的成员，因此您必须告诉编译器“这个名称必须是类型名称”。这就是typename的作用。 - Pete Becker