为什么 std::remove_const 不删除 const 限定符？

Question

请注意，我使用 std::thread 只是为了在错误中获取可读类型：

int main() {
    const int * first;
    using deref = decltype(*first);
    std::thread s = std::remove_const<deref>::type{}; // const int ???
    std::thread s2 = deref{}; // const int
    std::thread s3 = std::remove_const<const int>::type{}; // int 
}

似乎remove_const<deref>::type 是const int，而不是像我预期的那样可变的int。

Answer 1

注意*first 是一个左值表达式，那么decltype(*first) 的结果类型将是const int&，即对const int 的引用。引用本身不是 const（它不能是 const 限定的，没有像 int& const 这样的东西），在其上使用 std::remove_const 将产生相同的类型，即 const int&。

见decltype specifier:

1. 如果参数是T 类型的任何其他表达式，并且

b) 如果表达式的值类别是左值，则decltype 产生 T&;

您可以将std::remove_const 与std::remove_reference 一起使用：

std::remove_const<std::remove_reference<deref>::type>::type // -> int
                                        ^^^^^               // -> const int &
                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^        // -> const int

---

顺便说一句：

请注意，我使用 std::thread 只是为了在错误中获取可读类型：

请注意，对于这种情况，它没有给出正确的类型。这是来自Effective Modern C++ (Scott Meyers) 的类模板帮助器：

template<typename T>
class TD;

并将其用作

TD<deref> td;

您将收到包含deref 类型的错误消息，例如来自clang：

prog.cc:16:11: error: implicit instantiation of undefined template 'TD<const int &>'
TD<deref> td;
          ^