13

私はstd::tupleクラス列挙型を使用して定義し、実際のインデックスを忘れて、タプルの各フィールドにどういうわけか「名前を付ける」ようにしています。

したがって、これを行う代わりに：

std::tuple<A,B> tup;
/* ... */
std::get<0>(tup) = bleh; // was it 0, or 1?

これは私がしました：

enum class Something {
     MY_INDEX_NAME = 0,
     OTHER_INDEX_NAME
};

std::tuple<A,B> tup;
/* ... */
std::get<Something::MY_INDEX_NAME> = 0; // I don't mind the actual index...

問題は、これが gcc 4.5.2 を使用してコンパイルされたため、4.6.1 バージョンをインストールしたため、プロジェクトがコンパイルに失敗したことです。このスニペットはエラーを再現します:

#include <tuple>
#include <iostream>

enum class Bad {
    BAD = 0
};

enum Good {
    GOOD = 0
};

int main() {
    std::tuple<int, int> tup(1, 10);
    std::cout << std::get<0>(tup) << std::endl;
    std::cout << std::get<GOOD>(tup) << std::endl; // It's OK
    std::cout << std::get<Bad::BAD>(tup) << std::endl; // NOT!
}

エラーは基本的に、次の呼び出しに一致するオーバーロードがないことを示していますstd::get。

test.cpp: In function ‘int main()’:
test.cpp:16:40: error: no matching function for call to ‘get(std::tuple<int, int>&)’
test.cpp:16:40: note: candidates are:
/usr/include/c++/4.6/utility:133:5: note: template<unsigned int _Int, class _Tp1, class _Tp2> typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type& std::get(std::pair<_Tp1, _Tp2>&)
/usr/include/c++/4.6/utility:138:5: note: template<unsigned int _Int, class _Tp1, class _Tp2> const typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type& std::get(const std::pair<_Tp1, _Tp2>&)
/usr/include/c++/4.6/tuple:531:5: note: template<unsigned int __i, class ... _Elements> typename std::__add_ref<typename std::tuple_element<__i, std::tuple<_Elements ...> >::type>::type std::get(std::tuple<_Elements ...>&)
/usr/include/c++/4.6/tuple:538:5: note: template<unsigned int __i, class ... _Elements> typename std::__add_c_ref<typename std::tuple_element<__i, std::tuple<_Elements ...> >::type>::type std::get(const std::tuple<_Elements ...>&)

では、列挙型クラスをテンプレート引数として使用できる方法はありますstd::getか? これはコンパイルする必要がなく、gcc 4.6 で修正されたものでしたか? 単純な列挙型を使用することもできますが、enum クラスのスコープ プロパティが好きなので、可能であれば後者を使用したいと思います。

4

6 に答える 6

10

intC++11 によって導入された厳密に型指定された列挙型は、型 say の整数値に暗黙的に変換することはできませんがstd::get、テンプレート引数は整数型であることが期待されます。

static_cast列挙値を変換するために使用する必要があります。

std::cout <<std::get<static_cast<int>(Bad::BAD)>(tup)<< std::endl; //Ok now!

または、次のように基になる整数型に変換することを選択できます。

//note that it is constexpr function
template <typename T>
constexpr typename std::underlying_type<T>::type integral(T value) 
{
    return static_cast<typename std::underlying_type<T>::type>(value);
}

次に、次のように使用します。

std::cout <<std::get<integral(Bad::BAD)>(tup)<< std::endl; //Ok now!
于 2012-05-24T17:20:46.873 に答える
6

元の投稿者がクラス列挙型を介して std::tuple の要素に名前付きでアクセスする方法を要求したため、別の回答を追加したいと思います。

クラス列挙型のテンプレート引数を持つことができます (少なくとも GCC では)。getこれにより、クラスの列挙値を指定してタプルの要素を取得する独自の定義が可能になります。以下は、この値を int にキャストする実装ですが、もっと手の込んだこともできます。

#include <tuple>

enum class names { A = 0, B, C };

template< names n, class... Types >
typename std::tuple_element<static_cast< std::size_t >( n ), std::tuple<Types...> >::type&
    get( std::tuple<Types...>& t )
{
    return std::get< static_cast< std::size_t >( n ), Types... >( t );
}

int main( int, char** )
{
    std::tuple< char, char, char > t( 'a', 'b', 'c' );
    char c = get<names::A>( t );
}

std::getにはさらに 2 つのバリアント ( 用const tuple&、 用tuple&&) があり、まったく同じ方法で実装できることに注意してください。

于 2013-02-12T15:10:00.330 に答える
3

Yes, this was a bug in GCC 4.5. Scoped enums don't have implicit conversions to integral types.

于 2012-05-24T17:19:24.793 に答える
2

まったく異なる解決策は次のとおりです。

A& my_field(std::tuple<A,B>& t) { return std::get<0>(t); }
A const& my_field(std::tuple<A,B> const& t) { return std::get<0>(t); }

B& my_other_field(std::tuple<A,B>& t) { return std::get<1>(t); }
B const& my_other_field(std::tuple<A,B> const& t) { return std::get<1>(t); }

my_field(t) = blah;
my_other_field(t) = frob;
于 2012-05-24T22:41:56.727 に答える