可変引数関数で引数の型の均一性を確保するにはどうすればよいですか?

構造を変更せずに可変個引数関数で引数の型の均一性を確保する

可変個引数を使用して関数を定義する場合、指定されたすべての引数が同じ型であることを確認することが望ましいことがよくあります。 。これは型の安全性を維持し、潜在的なエラーを防ぐのに役立ちます。

可変個引数関数自体は型の安全性を強制しないため、プログラマが明示的なチェックを行う必要があります。ただし、この要件を効果的に実装するには、手法を組み合わせて使用​​できます。

オプション 1: 後で変換するアプローチ

1 つの方法は、引数を可変個引数として受け入れ、後で型変換を実行します。たとえば、std::array から Dragon_list_t に変換するために必要な手順がわかっている場合は、次のテンプレート関数を使用できます:

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // Here be dragons
}

オプション 2: SFINAE ベースの拒否早期アプローチ

もう 1 つのオプションは、置換失敗はエラーではない (SFINAE) を使用して、関数インターフェイス レベルで型チェックを実行します。この手法により、オーバーロード解決で無効な引数の型を早い段階で拒否できるようになります。

template<typename R, typename... Args>
struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

この例では、指定されたすべての引数が ToType 型に変換可能な場合にのみ f 関数がインスタンス化されます。

結論

後で変換するアプローチまたは SFINAE ベースの早期拒否アプローチのいずれかを利用するこのアプローチにより、開発者は追加の構造やオーバーヘッドに頼ることなく、可変引数関数または可変引数テンプレート関数に渡されるすべての引数に対して 1 つの型を指定できます。

以上が可変引数関数で引数の型の均一性を確保するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。