Question

using namespace std;
#include <vector>
#include <string>

template <class T>
struct ValNode {
    string id;
    T value;
};

class ValTable {
public:
    ValTable();
    template <class T>
    void add(string,T);
    const bool find(string);
    void remove(string);
private:
    template<class T>
    std::vector<ValNode<T>*> vals;
};

编译器错误：error: data member 'vals' cannot be a member template

我确实尝试在结构中使用T *值，但我没有解决。我还没有使用代码中的任何函数。只是试图将其压缩到* .o文件中（也使用.cpp文件）。

Answer 1

正如错误所说，变量（包括数据成员）不能是模板;只有类和函数可以。

看起来您希望表能够保存各种不同类型的值，这些值在运行时根据传递给add()的类型指定。为此，您需要动态类型，这些在C ++中不受直接支持。您可以考虑使用Boost.Any或Boost.Variant等库。

另一方面，也许你只想在每个表中存储一个类型，在不同的表中存储不同的类型。在这种情况下，类本身将需要是一个模板：

template <typename T>
class ValTable {
public:
    ValTable();
    void add(string,T);
    const bool find(string);
    void remove(string);
private:
    std::vector<ValNode<T>*> vals;
};

Answer 2

您必须将ValTable声明为模板

template <class T>
class ValTable{
public:
    ValTable();
    //template <class T>
    void add(string,T);
    const bool find(string);
    void remove(string);
private:
    //template<class T>
    std::vector<ValNode<T>*> vals;
};

Answer 3

您将无法做到ValTable需要成为模板

你可以拥有：

template <class T> //Make the class as template
class ValTable {
public:
    ValTable();
    template <class X>
    void add(string,X);
    const bool find(string);
    void remove(string);
private:
    //template<class T>
    std::vector<ValNode<T>*> vals;
};

Answer 4

在C ++中，您可以在类中使用模板方法，但不能使用模板数据成员。例如：

template<typename T, int n>
struct FixedVector {
    T x[n];
    FixedVector() {
        for (int i=0; i<n; i++) x[i] = 0;
    }

    template<typename C>
    void copy(const C& container) {
        if (container.size() != n) {
            throw std::runtime_error("Wrong size");
        }
        int j = 0;
        for (typename C::const_iterator i=container.begin(),
                                        e=container.end();
             i!=e;
             ++i)
        {
            x[j++] = *i;
        }
    }
};

通过上述课程，您可以声明FixedVector<int, 5> f并致电f.copy(v)，v可以是size，例如矢量或列表或任何begin end }和FixedVector::copy。因此std::vector<double> y; y.push_back(3.4); y.push_back(5.6); y.push_back(7.8); std::list<unsigned char> z; z.push_back('a'); z.push_back('b'); z.push_back('c'); FixedVector<int, 3> v; v.copy(y); // This is ok v.copy(z); // This is ok too是模板方法，这意味着编译器将为您传递给函数的每种不同类型生成不同的版本。

{{1}}

C ++不允许使用模板数据成员，因为这意味着不同的类大小取决于您在特定编译单元中使用的类型数量，这与C ++编译模型不一致一次一个单位。

添加方法相当不错，因为它不会影响类的大小，并且可以通过避免从不同的编译单元中提取相同方法的多个副本来修复广告链接时间。

Answer 5

您不能拥有模板成员值：每个翻译单元都可以访问不同的实例，从而产生不同的ibject布局。你需要以某种方式分解出类型。

标准库按照std::locale的要求执行某些操作：每个std::locale存储一组不同类型的对象。这是特殊目的，不能直接用于您的目的。

基本思想是自动将用于int的每种类型映射，然后将其用于将类型映射到实例。然后vals成员将成为查找正确实例的函数模板。粗略的轮廓可能如下所示：

int type_index_alloc() { 
    static std::atomic<int> current(0);
    return ++current;
}
template <typename T>
int type_map() {
    static int rc = type_index_alloc();
}
class container {
    struct base { virtual ~base() {} };
    template <typename T>
    struct value: base { T v; };
    std::map<int, std::shared_ptr<base>> vals_;
public:
    T& vals()  {
        std::shared_ptr<base>& rc(vals_[type_map<T>()]);
        if (!rc) {
            rc = std::make_shared<value<T>>()); }
        return static_cast<value<T>&>(*rc).v;
    }
};

这只是试图展示如何设置事物：我目前无法访问编译器。此外，代码示例只提供对T类型对象的访问，但可以轻松更改为使用std::vector<T>。

矢量模板结构

5 个答案: