c++ - 为什么以不同的顺序使用 std::remove_reference 和 std::remove_const 会产生不同的结果？

Question

在下面的代码中，我使用了 std::remove_const 和 std::remove_reference 但在两种情况下以不同的顺序给出了不同的结果:

#include <iostream>
#include <string>
#include <vector>
#include <iterator>
#include <type_traits>

using namespace std;

int main()
{
    vector<string> ar = {"mnciitbhu"};
    cout<<boolalpha;
    cout<<"First case : "<<endl;
    for(const auto& x : ar)
    {
        // Using std::remove_const and std::remove_reference
        // at the same time
        typedef typename std::remove_const<
            typename std::remove_reference<decltype(x)>::type>::type TT;
        cout<<std::is_same<std::string, TT>::value<<endl;
        cout<<std::is_same<const std::string, TT>::value<<endl;
        cout<<std::is_same<const std::string&, TT>::value<<endl;
    }
    cout<<endl;
    cout<<"Second case : "<<endl;
    for(const auto& x : ar)
    {
        // Same as above but the order of using std::remove_reference
        // and std::remove_const changed
        typedef typename std::remove_reference<
            typename std::remove_const<decltype(x)>::type>::type TT;
        cout<<std::is_same<std::string, TT>::value<<endl;
        cout<<std::is_same<const std::string, TT>::value<<endl;
        cout<<std::is_same<const std::string&, TT>::value<<endl;
    } 
    return 0;
}

输出是:

First case : 
true
false
false

Second case : 
false
true
false

查看Coliru Viewer

我的问题是为什么以不同的顺序使用 std::remove_const 和 std::remove_reference 会产生不同的结果？由于我同时删除了引用和 const-ness，结果不应该相同吗？

Answer 1

remove_const只会删除 top-level const 限定符，如果存在的话。在 const std::string& 中，const 不是顶级的，因此应用 remove_const 对其没有影响。

当您颠倒顺序并首先应用 remove_reference 时，结果类型为 const string；现在 const 是顶级的，remove_const 的后续应用将删除 const 限定符。