汎用参照から型を推測する際にconstが無視されるのはなぜですか？ここ

Question

は私のクラスの定義であり、そのための機能を作る：私はint型左辺値make_aに関数を渡すとき

template< typename T > 
class A 
{ 
public: 
    A(T test) 
    : _test(test) 
    {} 

public: 
    const T _test; 
}; 

template <typename T> 
A<T> make_a (T&& elem) { 
    return A<T>{std::forward<T>(elem)}; 
} 

、私はインスタンス化されたクラスは

class B 
{ 
public: 
    B(int &test) 
    : _test(test) 
    {} 

public: 
    const int &_test; 
}; 

に類似であることを期待しかし、 A::_testのタイプはint&の代わりconst int&なると推定されています

int main(int argc, const char * argv[]) { 

    int a = 1; 
    auto aa = make_a(a); 
    aa._test = 2; // compiled OK 

    B bb(a); 
    bb._test = 2; // compilation error 
    return 0; 
} 

誰もこのような行動の原因を教えてもらえますか？

私はXCode 7.0、LLVM 7.0のデフォルトコンパイラを使用しています。

ありがとうございました。

Answer 1

この現象は、言語標準によって発生します。

N4140§8.3.2[dcl.ref]/1

CV-修飾参照は、CV-修飾子をのtypedef名（7.1の使用を介して導入されている場合を除き、病気に形成されています.3、14.1）または decltype-specifier（7.1.6.2）この場合、cv-qualifierは無視されます。 [例：arefの

typedef int& A; 
const A aref = 3; // ill-formed; lvalue reference to non-const initialized with rvalue 

タイプが「intを左辺値参照」ではなく「const intに左辺値 参照」です。 - 端例]