將條件定義與可變參數模板一起使用

Question

如果我有一個使用已知數量的模板參數的模板函數，則可以使用enable_if語句以及is_base_of類的is_base_of來限制合法類型。 例如：

template <typename T>
typename enable_if<is_base_of<BaseClass, T>::value, void>::type
function() {
    // do stuff with T, which is ensured to be a child class of BaseClass
}

現在假設我們要對可變參數模板執行相同的操作-檢查以確保所有類型都是特定基類的子代。

template <typename... T>
/* What goes here? */
function() {
    // do stuff with the T types, which are ensured to be child classes of BaseClass
}

您將如何編寫此條件定義？

Answer 1

您可以使用以下type_traits：

template <typename Base, typename T, typename... Ts>
struct are_base_of :
    std::conditional<std::is_base_of<Base, T>::value, are_base_of<Base, Ts...>,
                     std::false_type>::type
{};

template <typename Base, typename T>
struct are_base_of<Base, T> : std::is_base_of<Base, T> {};

然后用

template <typename... Ts>
typename std::enable_if<are_base_of<BaseClass, Ts...>::value, void>::type
function() {
    // do stuff with Ts, which is ensured to be a child class of BaseClass
}