C++ 常数问题

Question

如果我这样做：

// In header 
class Foo {
void foo(bar*);
};

// In cpp
void Foo::foo(bar* const pBar) {
//Stuff
}

编译器不会抱怨 Foo::foo 的签名不匹配。 但是，如果我有：

void foo(const bar*); //In header
void Foo::foo(bar*) {} //In cpp

代码将无法编译。

到底是怎么回事？ 我正在使用 gcc 4.1.x

Answer 1

使用除指针之外的变量类型更容易理解。 例如，您可以有以下函数声明：

void foo( int i );

定义可以如下所示：

void foo( const int i ) { ... }

变量“i”在定义端是否为 const 是一个实现细节。 它对该功能的客户端没有影响。

Answer 2

它可能不太关心 void Foo::foo(bar* const pBar) 因为你如何对待指针本身（const 与否）在例程之外一点也不重要。 C 规则规定，无论怎样，对 pBar 的更改都不会传播到 foo 之外。

但是，如果它是 (const bar* pBar)，那就有区别了，因为这意味着编译器不允许调用者传入指向非 const 对象的指针。

Answer 3

在前者中，const 不影响接口，只影响实现。 您对编译器说：“我不会更改此函数中 bar* 的值”。 您仍然可以更改指针所指向的内容。 在后者中，您告诉编译器（和所有调用者）您不会更改 bar* 指向的 bar 结构。

Answer 4

首先，您向编译器（但不是该类的其他用户）承诺您不会编辑该变量。

在第二个示例中，您已向该类的其他用户承诺您不会编辑他们的变量，但未能遵守该承诺。

之间有明显的区别。

bar* const variable

我还应该注意到， and 和

const bar* variable

and

const bar* const variable

在第一种形式中，指针永远不会改变，但您可以编辑所指向的对象。 在第二种形式中，您可以编辑指针（将其指向另一个对象），但不能编辑它指向的变量。 在最终形式中，您既不会编辑指针，也不会编辑它指向的对象。 参考

添加更多内容对所述问题的澄清，你总是可以承诺更多 const 而不是更少。 给定一个类：

class Foo {
    void func1 (int x);
    void func2 (int *x);
}

您可以编译以下实现：

Foo::func1(const int x) {}
Foo::func2(const int *x) {}

或：

Foo::func1(const int x) {}
Foo::func2(const int* const x) {}

没有任何问题。 您已经告诉您的用户您可以编辑他们的变量。 在您的实现中，您已经告诉编译器此特定实现不会编辑这些变量，即使告诉用户您可以编辑这些变量。 您没有违背对用户的承诺，因此代码可以编译。

Answer 5

请参阅此问题，这个问题，以及这个问题。

基本上，const 仅意味着该函数不会修改指针的值。 指针内容不是 const，与标头的签名相同。

Answer 6

第一个示例中的 const 关键字没有意义。 您是说您不打算更改指针。 但是，指针是按值传递的，因此更改与否并不重要； 它不会影响调用者。 同样，您也可以这样做：

// In header 
class Foo {
void foo( int b );
};

// In cpp
void Foo::foo( const int b ) {
//Stuff
}

您甚至可以这样做：

// In header 
class Foo {
void foo( const int b );
};

// In cpp
void Foo::foo( int b ) {
//Stuff
}

由于 int 是按值传递的，因此常量并不重要。

在第二个示例中，您说您的函数采用指向一种类型的指针，但随后将其实现为采用指向另一种类型的指针，因此它失败。

Answer 7

所以第二个常量：

void Foo::foo(const bar* const);

不是是方法签名的一部分吗？