可变参数模板类的可变参数模板

阿尔特·斯图曼

我正在尝试创建一个名为的函数Choose，该函数可以将以下内容作为参数：

template<typename... Args>
class Option
{
    Option(Args... arguments)
    {
        // irrelevant
    }
    // ...
}

void Foo()
{
    Choose(
         Option<int, int>(3, 5),
         Option<int>(7,123),
         Option<int, int, int, int>(1, 2, 3, 4)
    );
}

因此，我有一个带有可变参数类型的类，并且我想创建一个函数，该函数接受该类的任意数量的实例，每个实例都可以different为其类型指定参数。

我能够创建一个这样的函数，其中所有实例的类型都必须具有相同的参数：

template <template <typename... Args> class... Opt, typename... Args>
void Choose(EnemyAIState& state, Opt<Args...>... option)
{
    // irrelevant
}

void Foo()
{
    Choose(state,
        Option<int>(1),
        Option<int>(2),
        Option<int>(3)
    );
}

但是，我找不到最终的目标，因为我找不到使用权syntax。我希望您能在正确的方向上为我提供帮助。

我不认为您可以直接做您想做的事情-您需要像“一包东西”之类的东西，没有这样的东西。

如果您想要更好的错误消息，请编写一个static_assert，以测试传入的每种类型是否为Option：

// helper template that checks all of values are true
template<bool... values>
struct all_true;

template<>
struct all_true<> : std::true_type { };

template<bool b, bool...values>
struct all_true<b, values...> : std::integral_constant<bool, b && all_true<values...>::value> { };

template<typename... Args>
struct Option
{
    Option(Args... /*arguments*/)
    {
        // irrelevant
    }
    // ...
};

// trait class that tests that a type is an Option
template<typename T>
struct is_option : std::false_type { };

template<typename... Args>
struct is_option<Option<Args...>> : std::true_type { };

template <typename... Opt>
void Choose(Opt... arguments)
{
    // check that each type is an Option
    static_assert(all_true<is_option<Opt>::value...>::value, "Arguments must all be Options");
    // irrelevant
}

演示。

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。