c++ - 为什么 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&，即a引用 const int。引用不是 const 本身(它不能是 const 限定的，没有像 int& const 这样的东西)，使用 std::remove_const 将产生相同的类型，即 const int&.

见 decltype specifier :

3. If the argument is any other expression of type T, and

b) if the value category of expression is lvalue, then decltype yieldsT&;

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

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

---

顺便说一句:

Note that I use std::thread just to get readable types in the errors:

请注意，对于这种情况，它没有给出正确的类型。这是来自 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;
          ^