29

非型の可変個引数テンプレートを使用するブログ投稿を見ました(現在、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;   
}
4

5 に答える 5

15

タイプ名と非タイプ名を混同しているだけです。あなたが望むものは単に機能しません。

おそらく関数で可変長非型テンプレートを使用できますが、(非テンプレート) 引数としては使用できません。

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;

…私はこれをテストしていませんが、基本ケースとして部分的な特殊化が必要な場合、これがどのように機能するかはわかりません。部分的に特殊化された構造体にディスパッチすることで、これを解決できます。

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;
}

これは機能します。

于 2011-10-24T14:44:52.517 に答える
15

これにより、すべての要素が出力されます。 get max も同様に実装できます

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;
}
于 2012-12-15T07:14:00.377 に答える
7

パラメータのみを受け入れる可変引数関数テンプレートを定義する 2 つの方法を次に示しintます。最初のものはインスタンス化時にハード エラーを生成し、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)
{
    // ...
}

ご覧のとおり、非型のテンプレート パラメーターはここでは使用されていません。

于 2011-10-24T16:51:58.553 に答える
1

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ます。

于 2015-07-11T00:07:54.150 に答える
1

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で pack-expansion を実行することによって提供されます)。first_type戻り値のdecltype(...)型は、引数を に変換できない場合に SFINAE を適用するために使用されますint。

于 2011-11-13T04:56:18.997 に答える