错误：使用模板时从"const ..."到"..."错误消息的转换无效

error: invalid conversion from "const ..." to "..." error message when using templates

本文关键字：错误 const 无效 转换 消息      更新时间：2023-10-16

所以我想弄清楚C++模板是如何工作的，但运气不太好。我创建了以下模板：

template<class TValue>
class Value {
public:
    virtual ~Value();
    inline TValue value() const { return _value; }
    virtual int serialize(unsigned char* buffer, int bufferSize) const = 0;
protected:
    Value(TValue value, const ValueType& valueType) : _value(value), _valueType(&valueType) {}
private:
    TValue _value;
    ValueType* _valueType;
};
template<class TValue>
class NumericValue : public Value<TValue> {
protected:
    NumericValue(TValue value, const ValueType& valueType) : Value<TValue>(value, valueType) {}
};

然后我创建了一个类：

class U16Value : public NumericValue<u16> {
public:
    U16Value(u16 value) : NumericValue<u16>(value, ValueType::U16) {}
}

不幸的是，这不会编译。我在这条线上收到一个错误：

Value(TValue value, const ValueType& valueType) : _value(value), _valueType(&valueType) {}

上面写着：

error: invalid conversion from const tnp::ValueType* to tnp::ValueType* [-fpermissive]

有人能告诉我为什么会发生这种事吗？

谢谢。

成员_valueType被声明为指向非常量对象（valueType*）的指针，而您试图用（&valueType）初始化的指针是指向常量对象（const valueType*，因为您引用了常量引用）的指针。

您的构造获取一个const并尝试将其存储在一个无const变量中。从该行中删除const或将其添加到vars声明中。

const ValueType* _valueType;

您正试图将常量指针分配给非常量指针。

将行更改为：

const ValueType* _valueType;

我真的不理解ValueType，它存在吗？但我认为你想做这样的事情：

template<class TValue>
class Value {
public:
    typedef TValue ValueType;
    virtual ~Value();
    inline TValue value() const { return _value; }
    virtual int serialize(unsigned char* buffer, int bufferSize) const = 0;
protected:
    Value(TValue value) : _value(value) {}
private:
    TValue _value;
};
template<class TValue>
class NumericValue : public Value<TValue> {
public:
    typedef typename Value<TValue>::ValueType ValueType;
protected:
    NumericValue(TValue value) : Value<TValue>(value) {}
};
class U16Value : public NumericValue<u16> {
public:
    U16Value(ValueType value) : NumericValue<ValueType>(value) {}
};

我通过简单地让每个派生类返回它们自己的ValueType对象而不是将其填充到父类中来解决这个问题。这似乎给了我想要的东西。

相关文章：