如何检测模板参数是否为std::initializer_list？

Question

在下面的示例中，最后一行失败，因为 JSON 的转换运算符必须在两个可能性之间进行选择：

1. std::vector<int>::operator=(std::vector<int>&&)
2. std::vector<int>::operator=(std::initializer_list<int>)

如何限制 JSON::operator T() 以忽略 initializer_list 重载？

struct JSON
{
    using StorageType = std::variant<
        int,
        float,
        std::string,
        std::vector<int>,
        std::vector<float>
    >;
    
    StorageType storage;

    template<class T>
    operator T() const {
        return std::get<T>(storage);
    }
};

int main(int argc, char* argv[])
{
    const JSON json;
    std::vector<int> numbers;
    numbers = json; // more than one operator '=' matches these operands

    return 0;
}

- CuriousGeorge

Answer 1

您可以使用 enable_if 来禁用 initializer_list 的转换。

template<class>
constexpr inline bool is_initializer_list = false;
template<class T>
constexpr inline bool is_initializer_list<std::initializer_list<T>> = true;

struct JSON
{
    // ...
    template<class T, std::enable_if_t<!is_initializer_list<T>>* = nullptr>
    operator T() const {
        return std::get<T>(storage);
    }
};

演示

- 康桓瑋

Answer 2

虽然如何限制get以排除std::initializer_list的问题是合法的，但我认为实际应该检查的是T是否是StorageType的std::variant中表示的类型之一。

您可以按照以下方式检查类型是否包含在std::variant的类型列表中：

template <typename T, typename VariantT>
static inline constexpr bool variant_contains_type_v = false;

template <typename T, typename ... Ts>
static inline constexpr bool variant_contains_type_v<T, std::variant<Ts...>> = std::disjunction_v<std::is_same<T, Ts>...>;

您的实现可以随后适应

template<class T, typename = std::enable_if_t<variant_contains_type_v<T, StorageType>>>
    operator T() const {
    return std::get<T>(storage);
}

https://godbolt.org/z/Pf3x7bEYd

- Quxflux

Answer 3

如果您可以使用C++20，您可以使用requires而不是SFINAE与std::enable_if：

// Some filtering traits
// Can even be turned into concept
template <typename>
constexpr inline bool is_initializer_list = false;
template <typename T>
constexpr inline bool is_initializer_list<std::initializer_list<T>> = true;

struct JSON
{
    // ...
    template <typename T>
    operator T() const requires(!is_initializer_list<T>)
    {
        return std::get<T>(storage);
    }
};

- Jarod42