C++ 模板的问题（大惊喜！）。为什么这行不通？

Question

我正在测试一种模仿 C# 属性的方法，并创建了以下 property 类：

struct BY_REF
{
    template <class T>
    struct TT_s
    {
        typedef T &TT_t;
    };
};
struct BY_VAL
{
    template <class T>
    struct TT_s
    {
        typedef T TT_t;
    };
};

template <class T, class P=BY_REF>
class property
{
private:
    typedef typename P::template TT_s<T>::TT_t TT;
    T &value;
    property();
    property(const property &);
    property &operator=(const property &);
public:
    explicit property(T &v) : value(v) {}
    operator const TT() const
    {
        return value;
    }
    TT operator=(const TT i)
    {
        return value = i;
    }
};

我用以下代码测试了这个类：

int main()
{
    int i;
    std::string s;
    property<int, BY_VAL> I(i);
    property<std::string> S(s);
    //stringproperty S(s);
    I = 1337;
    char c[] = "I am ";
    S = std::string(c);
    cout << /*S <<*/ I << endl;
    return 0;
}

这给了我一个意外的编译器错误，“no match for 'operator='...”，对于行 S = std::string(c);。我把S的打印注释掉了，因为我operator=的问题似乎更简单，我希望它的解决方案也能解决operator<<的问题。为了弄清楚发生了什么，我手动实例化了模板，如下所示：

class stringproperty
{
private:
    std::string &value;
    stringproperty();
    stringproperty(const stringproperty &);
    stringproperty &operator=(const stringproperty &);
public:
    explicit stringproperty(std::string &v) : value(v) {}
    operator const std::string &() const
    {
        return value;
    }
    std::string &operator=(const std::string &i)
    {
        return value = i;
    }
};

我的手动版本有效。谁能解释为什么模板版本没有？ （我怀疑它与 BY_REF 和 BY_VAL 类有关，但我不知道为什么它适用于整数。）

Answer 1

您的手动版本有误，问题与模板无关。

typedef int& IntRef;

const int& == int const&

const IntRef == IntRef const == int& const

注意到区别了吗？因此问题就在那里：TT operator=(const TT i)。

一般准则是，如果您想将typedef 视为简单的文本替换，那么您需要立即开始：将const 放在键入它的后面符合条件。