为何std::invoke_result_t未返回const bool？是否符合C++标准？

这是预期行为，由C++标准明确规定，并非编译器差异导致。

核心原因：基本类型返回值的顶层const会被标准忽略 #

对于bool、int这类非类（基本）类型，函数返回值的顶层const限定符会被自动丢弃。也就是说：

• const bool Foo() 和 bool Foo() 的函数类型在标准中被视为完全等价。
• C++标准规定，在推导函数的实际返回类型时，顶层的const/volatile会被直接移除。std::invoke_result_t严格遵循这一规则，因此std::invoke_result_t<decltype(Foo)>的结果是bool，而非const bool。

类类型与基本类型的区别 #

如果函数返回的是类类型（比如const std::string），顶层const会被保留——因为类类型的const限定会影响返回值的成员函数调用权限（比如只能调用const成员函数）。但对于基本类型来说，返回值是右值，本身就无法被修改，添加顶层const没有任何实际意义，因此标准直接将其丢弃。

对应你的代码结果 #

• 由于Foo()的const bool返回类型被标准处理为bool，所以std::is_same<const bool, ...>::value为0，std::is_same<bool, ...>::value为1，和Bar()的结果完全一致，这完全符合标准要求。

你之前的误解源于对“返回const T”适用场景的混淆：只有当T是类类型时，返回const T才有实际作用；对于基本类型，这种写法不会改变程序行为，标准也不会保留顶层const限定。

内容的提问来源于stack exchange，提问作者Stephen