Const 方法 - 在实现中重复？

Question

我一直在寻找答案，但始终找不到。说我有：

class foobar{
  public:
     char foo() const;
};

，在我的 foobar.h 中

当我想在 foobar.cpp 中实现这个类时，我应该重复const吗？：

char foobar::foo() const{
//...my code
}

或者我可以做吗（没有const）

char foobar::foo() {
//...my code
}

---

如果这是重复的，我很抱歉，但没有其他问题真正回答了这个问题。

Answer 1

如果您的变量是 char foo() const; 并且您想要实现它，您必须将其命名为与您声明它的名称相同。

char foobar::foo() const{
//...my code
}

char foobar::foo(); 与 char foobar::foo() const; 不同。这意味着您可以在类声明中同时包含它们，例如：

class foobar{
  public:
     char foo() const;
     char foo();
};

Answer 2

您绝对必须在实现中包含const 限定符。

可以根据constness 重载函数。事实上，这是语言中非常重要的一部分。

Answer 3

是的，你应该重复const，它是函数签名的一部分。也可以在没有const 修饰符的情况下进行另一个声明和实现。

Answer 4

是的，foobar.cpp 文件中必须需要 const 限定符。当您在方法签名中使用 const 时，您是在告诉编译器 this 指向的内存无法通过此方法更改（此处为 foobar）。

Answer 5

是的，因为const 是签名的一部分。您可以定义两个仅在const-ness 上不同的成员函数。

查看是否需要它的最简单方法是使用您喜欢的编译器测试您的代码 - 下面的代码将无法编译：

struct foobar{
    char foo() const;
};
char foobar::foo() {
    return 'a';
}
int main() {
    foobar().foo();
    return 0;
}

你应该得到一个类似这样的错误：

错误：'char foobar::foo()' 的原型与 'foobar' 类中的任何一个都不匹配

char foobar::foo()

Demo.

Answer 6

是的，您必须在定义中包含const 限定符。 如果你写：

class Foo
{
public:
    int f () const;
};

如果你写在实现文件中：

int Foo::f () { /*...*/ }

然后编译器会发出一个错误，指出类中没有签名为int f () 的函数。 如果你也将const 关键字放在你的实现文件中，它会起作用。

可以根据对象constness 重载函数。 示例：

class Foo
{
public:
    int foo ()       { std::cout << "non-const foo!" << std::endl; }
    int foo () const { std::cout << "const foo!" << std::endl; }
};

int main ()
{
    Foo f;
    const Foo cf;
    f.foo ();
    cf.foo ();
}

输出将是（如预期的那样）：

non-const foo!

const foo!

正如我们对 const 所做的那样，您也可以基于对象 volatileness 重载函数。