带有嵌套模板的 C++ typedef 不是类、结构或 union 类型

Question

我不确定为什么下面的代码不是用 g++ 编译的:

t.cpp: In instantiation of ‘Distrib<double>’:
t.cpp:28:56:   instantiated from ‘Sampler<Distrib<Solution<double> > >’
t.cpp:35:48:   instantiated from here
t.cpp:16:45: erreur: ‘double’ is not a class, struct, or union type
t.cpp:18:43: erreur: ‘double’ is not a class, struct, or union type

我期望能够在嵌套模板中传播 AtomType 类型......

#include <iostream>
#include <vector>

template<typename T>
class Solution
{
    public:
        typedef T AtomType;
};

template<typename SOLT>
class Distrib
{
    public:
        typedef typename SOLT::AtomType AtomType;
        typedef std::vector<AtomType> Matrix;

        Matrix matrix;
};

template<typename DT>
class Sampler
{
    public:
        typedef typename DT::AtomType AtomType;
        typedef typename Distrib<AtomType>::Matrix Matrix;

        Matrix matrix;
};

int main()
{
    Sampler< Distrib< Solution<double> > > sampler;
}

Answer 1

在您的 Distrib 模板中，您有以下 typedef

typedef typename SOLT::AtomType AtomType;

这意味着您作为模板参数传入的任何类型都必须有一个 AtomType 作为成员，而 double 没有这样的东西。

如果你像这样创建一个类

class Double
{
   typedef myType AtomType;
};

并将其作为模板参数传递给您的 Distrib 模板，它将编译，因为 Double::AtomType 确实存在。