c++ - لماذا لا يشترط استخدام typename للأنواع التابعة في الحالة التالية؟




c++11 templates (2)

type s في سمات std::remove_reference هي أنواع تابعة.

لا ، فهي ليست أسماء تابعة هنا. تم تحديد وسيطات القالب بشكل صريح كـ int و int& int&& . لذلك ، الأنواع معروفة في هذه المرحلة.

من ناحية أخرى ، إذا كنت تستخدم std::remove_reference مع معلمة قالب ، على سبيل المثال

template <typename T>
void foo() {
    print_is_same<int, typename std::remove_reference<T>::type>();
}

ثم عليك استخدام typename لإعلام أن std::remove_reference<T>::type هو نوع لأن تعبيرك يعتمد الآن على معلمة القالب T

لقد قرأت عن إزالة مرجع من نوع ، here .

يعطي المثال التالي:

#include <iostream> // std::cout
#include <type_traits> // std::is_same

template<class T1, class T2>
void print_is_same() {
  std::cout << std::is_same<T1, T2>() << '\n';
}

int main() {
  std::cout << std::boolalpha;

  print_is_same<int, int>();
  print_is_same<int, int &>();
  print_is_same<int, int &&>();

  print_is_same<int, std::remove_reference<int>::type>(); // Why not typename std::remove_reference<int>::type ?
  print_is_same<int, std::remove_reference<int &>::type>();// Why not typename std::remove_reference<int &>::type ?
  print_is_same<int, std::remove_reference<int &&>::type>();// Why not typename std::remove_reference<int &&>::type ?
}

type s في سمات std::remove_reference هي أنواع تابعة.

ممكن التنفيذ

template< class T > struct remove_reference      {typedef T type;};
template< class T > struct remove_reference<T&>  {typedef T type;};
template< class T > struct remove_reference<T&&> {typedef T type;};

ولكن لماذا لا يستخدم typename std::remove_reference</*TYPE*/>::type ؟


باختصار ، تحتاج إلى كتابة typename لضمان برنامج التحويل البرمجي

std::remove_reference<int>::type

حقا هو نوع. لننظر في بعض القوالب الأخرى

template <typename T>
struct foo {
    using type = int;
};

هنا foo::type هو نوع. ولكن ماذا لو قام شخص ما بتزويد التخصص على طول خط

template <> struct foo<int> {
    int type;
};

الآن type ليس نوعًا ولكن int . الآن عند استخدام فو داخل قالب:

template <typanem T> 
struct bar {
    using type = typename foo<T>::type;
};

يجب عليك التأكد من أن برنامج التحويل البرمجي foo<T>::type هو حقًا نوع ، وليس شيئًا آخر ، لأن النظر إلى bar فقط (والقالب الأساسي foo ) لا يستطيع المترجم معرفة ذلك.

ومع ذلك ، في main الخاص بك لا يعتمد std::remove_reference<int>::type على معلمة قالب ، وبالتالي يمكن للمترجم أن يتحقق بسهولة إذا كان نوعًا.





dependent-name