Neden C++ 0x rvalue başvurusu için ileri tanımda kimlik kullanılır?

Question

A Brief Introduction to Rvalue References biçiminde forward aşağıdaki gibi tanımlanır:

 template <typename T> 
    struct identity { typedef T type; }; 

    template <typename T> 
    T &&forward(typename identity<T>::type &&a) { return a; } 

identity sınıfı ne işe yarar? Neden olmasın:

 template <typename T> 
    T &&forward(T &&a) { return a; } 

Answer 1

identity amacı T olmayan deducible yapmaktı: Neden olmasın. Yani, istemciyi forward numaralı telefonu arayarak T tedarik etmeye zorlamak. şablon parametresi istemci ya bir lvalue veya bir rvalue olarak argüman ileri derleyici söyler hangi anahtarı olduğu için bu gereklidir

forward(a);  // compile-time error 
forward<A>(a); // ok 

nedenidir. Yanlışlıkla bu bilgileri sağlamayı unutursanız, lvalues ​​her zaman lvalues ​​olarak döndürülür ve rvalues ​​daima rvalues ​​olarak döndürülür. İlk başta istediğin gibi gelebilir, gerçekten değil. Yukarıdaki örnekte a1 olarak

template <class T, class A1> 
std::shared_ptr<T> 
factory(A1&& a1) 
{ 
    return std::shared_ptr<T>(new T(std::forward<A1>(a1))); 
} 

her zaman lvalue olup. Ancak "anahtar" A1, bir değer referansı olabilir veya olmayabilir. Bir lvalue referansı ise, a1 bir değer olarak iade edilir, aksi takdirde a1 bir değer olarak döndürülür. Fabrika yazarı yanlışlıkla A1 tedarik etmeyi unutursa, identity kullanımı derleme zamanında onu hatırlatır.

Not: Son taslak identity'dan yoksundur, ancak aynı amaçla remove_reference kullanır.