web-dev-qa-db-ja.com

次の場合、依存型にtypenameを使用する必要がないのはなぜですか？

タイプの参照の削除について読んでいます 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 ?
}

std::remove_referenceトレイトのtypesは依存型です。

可能な実装

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を使用しないのですか？

c++c++11templatestypetraitsdependent-name
10
LernerCpp

std::remove_referenceトレイトのtypesは依存型です。

いいえ、ここでは 依存名 ではありません。テンプレート引数は、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に依存するようになったためです。

22
songyuanyao

簡単に言えば、コンパイラーに次のことを確実にするためにtypenameが必要です。

std::remove_reference<int>::type

本当にタイプです。他のテンプレートを考えてみましょう

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

ここに foo::typeはタイプです。しかし、誰かが次のような専門知識を提供するとしたらどうでしょう

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

現在、typeは型ではなくintです。テンプレート内でfooを使用する場合：

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

コンパイラがfoo<T>::typeはbar（およびプライマリテンプレートfoo）を見ているだけでコンパイラはそれを認識できないため、実際にはタイプであり、他のものではありません。

ただし、mainではstd::remove_reference<int>::typeはテンプレートパラメータに依存しないため、コンパイラはタイプかどうかを簡単に確認できます。

5
idclev 463035818

キーワードtypenameは、コンパイラがソースを解析するのに役立ちます。 IDが変数名やメソッド名ではなく、型名であることを示します。しかし、上記のような状況ではコンパイラーがそれ自体を理解できるため、このキーワードは必要ありません。

0
Sergey Strukov