Question

我见过以下代码：

template <class T>
class Type {
    public:
        Type() {}
        T& operator=(const T& rhs) {value() = rhs; return value();}
        T& value() {return m_value;}
        T value() const {return m_value;}
    private:
        T m_value;
};

为什么编译器不抱怨

    T& value() {return m_value;}
    T value() const {return m_value;}

以及如何知道调用哪一个？

Answer 1

这两个功能实际上并不相同。只有第二个函数被声明为const成员函数。如果调用该成员的对象是const，则使用后一个选项。如果对象不是const，则使用第一个选项。

示例：

void any_func(const Type *t)
{
    something = t->value(); //second `const` version used
}

void any_func2(Type *t)
{
    something = t->value(); //first non-`const` version used
}

如果两个函数都被声明为非const或两者都被声明为const，那么编译器（应该，无论如何）都会抱怨。

Answer 2

为什么编译器不抱怨

因为const计算不同的函数签名。您假设功能签名相同是错误的标记为const的功能将针对const的任何Type<T>实例或引用进行调用。

以及如何知道调用哪一个？

在函数中放入cout语句并测试以下情况：

template <class T>
class Type {
    public:
        Type() {}
        T& operator=(const T& rhs) {value() = rhs; return value();}
        T& value() { 
            std::cout << "non const version" << std endl;
            return m_value;
        }
        T value() const { 
            std::cout << "const version" << std endl;
            return m_value;
        }
    private:
        T m_value;
};

int main() {
    Type<int> t;
    t.value();

    Type<int> rt = t;
    rt.value();

    Type<int>* pt = &t;
    pt->value();

    const Type<int> ct;
    ct.value();

    const Type<int>& crt = t;
    crt.value();

    const Type<int>* pct = &t;
    pct->value();
}

您的赋值运算符将调用非const版本。

const版本应该更像

const T& value() const { 
     std::cout << "const version" << std endl;
     return m_value;
}

因为您无法始终依赖RVO（返回值优化），并且可能会获取额外的副本（特别是对于较旧的编译器实现）。

另请注意，赋值运算符应返回对当前实例的引用：

 Type& operator=(const T& rhs) {value() = rhs; return *this;}

Answer 3

关于功能解析优先级的几句话。编译器通过以下方式区分const /非const函数：

如果一个类只有const函数和给定的名称和参数列表，那么它将被调用为常量和非常量对象。在调用此函数后，对象将“假设”＆＃39; constness（即使它不是const），意味着该函数只能调用其他const函数。

如果一个类只有非const函数，那么它将被调用非const对象。尝试为const对象调用此函数将导致编译错误。

如果一个类有两个可用的函数，const版本将用于const对象，非const版本将用于非const对象。

感谢@owacoder将注意力集中在描述中的初始混音上。

C ++相同的方法签名但返回类型不同

3 个答案: