Question

我有一个简单的模板类。在这个类中，我定义了一个结构（struct NodeData），用于图的节点。对于我给出的第一个代码，即使我在方法测试中故意做错误也没有编译错误（即使struct NodeData没有一个名为any的变量，我也会g[nId].anything = "something"。）

要了解问题的位置，在第二个代码中，我将下面的结构定义和typedef放在MyClass之外。我已将template<typename T1, typename T2>置于struct NodeData的定义之上，因为此结构需要存储抽象类型T1和T2的2个变量。我还从typedef中删除了关键字typename，我在第一个typedef中放了NodeData<int, int>而不是NodeData（即使我不想这样做），除此之外会在这一行给出一些错误：expected a type, got 'NodeData'。当我编译时，它给出了以下预期的错误（实际上是完全正常的）：'struct NodeData<int, int>' has no member named 'anything'，而对于第一个代码，我没有得到这个错误！

这两个代码有什么区别？如何让第二个代码不必为第一个typedef指定NodeData（因为struct NodeData的成员var1和var2不一定是int类型）？或者我该如何才能使第一个代码正常工作并检测NodeData没有名为anything的成员的错误？

第一个代码：

#include <iostream>
#include <boost/graph/adjacency_list.hpp>

using namespace std;
using namespace boost;

template<typename T1, typename T2>
class MyClass
{
    public:
        MyClass();
        virtual ~MyClass();
        void test(T1 p, T2 s);

    protected:
        struct NodeData
        {
            T1 var1;
            T2 var2;
            int var3;
        };

        struct EdgeData
        {
            int var;
        };

        typedef adjacency_list<setS, setS, undirectedS, NodeData, EdgeData> Graph;
        typedef typename Graph::vertex_descriptor NodeDataID;
        typedef typename Graph::edge_descriptor EdgeDataID;
        typedef typename graph_traits<Graph>::vertex_iterator VertexIterator;

        Graph g;
};

template<typename T1, typename T2>
void MyClass<T1, T2>::test(T1 arg1, T2 arg2)
{
    NodeDataID nId = add_vertex(g);
    g[nId].anything = "but anything is not in struct NodeData !";
    g[nId].var1 = arg1;
    g[nId].var2 = arg2;
    g[nId].var3 = 55;
}

template<typename T1, typename T2>
MyClass<T1, T2>::MyClass()
{
    // ...
}

template<typename T1, typename T2>
MyClass<T1, T2>::~MyClass()
{
    // ...
}

第二段代码：

#include <iostream>
#include <boost/graph/adjacency_list.hpp>

using namespace std;
using namespace boost;

template<typename T1, typename T2>
struct NodeData
{
    T1 var1;
    T2 var2;
    int var3;
};

struct EdgeData
{
    int var;
};

typedef adjacency_list<setS, setS, undirectedS, NodeData<int, int>, EdgeData> Graph;
typedef Graph::vertex_descriptor NodeDataID;
typedef Graph::edge_descriptor EdgeDataID;
typedef graph_traits<Graph>::vertex_iterator VertexIterator;

template<typename T1, typename T2>
class MyClass
{
    public:
        MyClass();
        virtual ~MyClass();
        void test(T1 p, T2 s);

    protected:
        Graph g;
};

template<typename T1, typename T2>
void MyClass<T1, T2>::test(T1 arg1, T2 arg2)
{
    NodeDataID nId = add_vertex(g);
    g[nId].anything = "but anything is not in struct NodeData !";
    g[nId].var1 = arg1;
    g[nId].var2 = arg2;
    g[nId].var3 = 55;
}

template<typename T1, typename T2>
MyClass<T1, T2>::MyClass()
{
    // ...
}

template<typename T1, typename T2>
MyClass<T1, T2>::~MyClass()
{
    // ...
}

Answer 1

如果没有模板的实例化，则没有生成代码，因此不存在编译错误。这就是为什么通常有一些测试代码很重要的原因，这些代码可以对模板进行一些可能的实例化，并使用它们来确保你不会犯任何愚蠢的错误。

修改：使用您的一些代码添加了一个示例，以防我不清楚我在说什么。

#include <iostream>

template<typename T1, typename T2>
class MyClass
{
public:
    void Test(T1 p, T2 s);

protected:
    struct NodeData
    {
        T1 var1;
        T2 var2;
        int var3;
    };

private:
    NodeData m_g;
};

template<typename T1, typename T2>
void MyClass<T1, T2>::Test(T1 arg1, T2 arg2)
{
    // error C2039: 'anything' is not a member of 'MyClass<T1,T2>::NodeData'
    m_g.anything = "but anything is not in struct NodeData !";
    m_g.var1 = arg1;
    m_g.var2 = arg2;
    m_g.var3 = 55;
}

int main() {
    // if you comment out the lines using it the template will never be compiled
    MyClass<int, double> test; // instantiation of template with T1 = int and T2 = double
    test.Test(42, 3.14); // calling Test function

    std::cin.get();
    return 0;
}

在类模板外部或内部定义的struct

1 个答案: