型以外の可変個引数テンプレートを使用する ブログ投稿 を見ました(現在、gccではサポートされておらず、clangでのみサポートされています)。
template <class T, size_t... Dimensions>
struct MultiDimArray { /* ... */ };
投稿の例は正常にコンパイルされますが、関数テンプレートで機能させることができませんでした。
誰かが正しい構文を理解するのを手伝ってもらえますか(そのようなものが存在する場合)?
int max(int n) { return n; } // end condition
template <int... N> // replacing int... with typename... works
int max(int n, N... rest) // !! error: unknown type name 'N'
{
int tmp = max(rest...);
return n < tmp? tmp : n;
}
#include <iostream>
int main()
{
std::cout << max(3, 1, 4, 2, 5, 0) << std::endl;
}
タイプ名と非タイプ名を混同しているだけです。あなたが望むものは単に機能しません。
あなたcanおそらく関数で可変個引数の非型テンプレートを使用しますが、(非テンプレート)引数としては使用しません:
template <int N, int... Rest>
int max()
{
int tmp = max<Rest...>();
return N < tmp ? tmp : N;
}
std::cout << max<3, 1, 4, 2, 5, 0>() << std::endl;
…私はこれをテストしておらず、よくわかりませんがhow基本ケースとして部分的な特殊化が必要な場合、これは機能するはずです。部分的に特殊化された構造体にディスパッチすることで、これを解決できます。
template <int N, int... Rest>
struct max_t {
static int const value = max_t<Rest...>::value > N ? max_t<Rest...>::value : N;
};
template <int N>
struct max_t<N> {
static int const value = N;
};
template <int... NS>
int max()
{
return max_t<NS...>::value;
}
これは機能します。
これにより、すべての要素が出力されます。getmaxも同様に実装できます。
template <int N>
void foo(){
cout << N << endl;
}
template <int N, int M, int ... Rest>
void foo(){
cout << N << endl;
foo<M, Rest...>();
}
int main(){
foo<1, 5, 7>();
return 0;
}
int
パラメータのみを受け入れる可変個引数関数テンプレートを定義する2つの方法を次に示します。 1つ目はインスタンス化時にハードエラーを生成し、2つ目はSFINAEを使用します。
template<typename... T>
struct and_: std::true_type {};
template<typename First, typename... Rest>
struct and_
: std::integral_constant<
bool
, First::value && and_<Rest...>::value
> {};
template<typename... T>
void
foo(T... t)
{
static_assert(
and_<std::is_same<T, int>...>::value
, "Invalid parameter was passed" );
// ...
}
template<
typename... T
, typename = typename std::enable_if<
and_<std::is_same<T, int>...>::value
>::type
>
void
foo(T... t)
{
// ...
}
ご覧のとおり、ここでは型以外のテンプレートパラメータは使用されていません。
max
の例で可変引数を実現して、任意の数の算術引数を取ることができるようにする方法は次のとおりです。
template<typename T, typename ... Ts>
struct are_arithmetic{
enum {
value = std::is_arithmetic<T>::value && are_arithmetic<Ts...>::value
};
};
template<typename T>
struct are_arithmetic<T>{
enum {
value = std::is_arithmetic<T>::value
};
};
template<typename Arg, typename = typename std::enable_if<std::is_arithmetic<Arg>::value>::type>
Arg max(Arg arg){
return arg;
}
template<typename Arg, typename Arg1, typename ... Args, typename = typename std::enable_if<are_arithmetic<Arg, Arg1, Args...>::value>::type>
auto max(Arg arg, Arg1 arg1, Args ... args){
auto max_rest = max(arg1, args...);
return arg > max_rest ? arg : max_rest;
}
int main(){
auto res = max(1.0, 2, 3.0f, 5, 7l);
}
これは、任意の数値型をとることができ、int
だけでなく、元の型で最大数を返すので便利です。
Luc Dantonのソリューションは、タイプint
でないパラメーターでは正しく動作しませんが、暗黙的にint
に変換できます。これが行うものです:
_template<typename T, typename U> struct first_type { typedef T type; };
template<typename T> int max_checked(T n) { return n; }
template<typename T1, typename T2, typename ...Ts>
int max_checked(T1 n1, T2 n2, Ts ...ns)
{
int maxRest = max_checked(n2, ns...);
return n1 > maxRest ? n1 : maxRest;
}
template<typename ...T> auto max(T &&...t) ->
decltype(max_checked<typename first_type<int, T>::type...>(t...))
{
return max_checked<typename first_type<int, T>::type...>(t...);
}
struct S { operator int() { return 3; } };
int v = max(1, 2.0, S()); // v = 3.
_
ここで、max
はすべての引数を変更せずに_max_checked
_に転送します。これは、タイプint
の同じ数の引数を取ります(_first_type
_テンプレートでパック拡張を実行することによって提供されます)。 decltype(...)
戻り値の型は、引数をint
に変換できない場合にSFINAEを適用するために使用されます。