const 在函数中返回类型之前对效果有什么影响？ [复制]

Question

我有以下代码：

const string getConstString()
{
    return "MyConstString";
}

int main()
{
    string str1 = getConstString();
    cout << str1 << endl;
}

const关键字在这里有什么作用？

Answer 1

一个显着的影响是您不能从const 结果中移动。

在 C++ 在 C++11 中直接支持移动语义之前，一个常见的建议是创建返回类型 const 以强制客户端代码仅以有意义的方式将结果用作值（而不是作为一个可变对象）。

在 C++11 之后的建议是相反的：不要返回值 const，因为这会阻止移动。

---

例子：

#include <iostream>
#include <string>
using namespace std;

auto m() -> string { return {}; }
auto c() -> const string { return {}; }

void check( string&& ) { cout << "mutable\n"; }
void check( string const&& ) { cout << "const\n"; }

auto main()
    -> int
{
    check( m() );
    check( c() );
}

这个输出

可变的 常量

... 表明函数c 的结果中的const 对调用代码来说非常明显。

---

使用 int 而不是 string 输出是 2 × “mutable”，显示了在处理内置类型和类类型方面的微妙而令人惊讶的差异：顶级 const 被忽略对于内置类型的结果，例如 int。

C++11 §3.10/4 (basic.lval/4)：

” 类纯右值可以有 cv 限定类型；非类纯右值始终具有 cv 非限定类型。

值得注意的是，这是 prvalue 表达式类型的规则，而不是函数声明的重写规则，例如衰减到数组的指针类型或函数类型形式参数。即，函数的类型不受影响。 const 还在类型中：

#include <iostream>
#include <type_traits>      // std::is_same
using namespace std;

#define STATIC_ASSERT( e ) static_assert( e, #e " <- is needed." )

auto c() -> const int{ return {}; }

auto main()
    -> int
{
    // Function type:
    STATIC_ASSERT(( is_same<decltype( c ), auto()->const int>::value ));
    STATIC_ASSERT(( not is_same<decltype( c ), auto()->int>::value ));

    // prvalue type:
    STATIC_ASSERT(( is_same<decltype( c() ), int>::value ));
    STATIC_ASSERT(( not is_same<decltype( c() ), int const>::value ));
}