Добавить std::variant_index по аналогии с std::variant_alternative

Перенос предложения: голоса +5, -0 Автор идеи: Олег Фатхиев

Сейчас для std::variant можно узнать тип из его вариадичного списка по его индексу в нём, но нельзя сделать обратную операцию: узнать индекс типа.

Предлагается добавить функцию std::variant_index/std::variant_index_v

Она могла бы выглядеть как-то так:

template <class T, class V>
struct variant_index;

template <class T, class... Ts>
struct variant_index<T, std::variant<Ts...>>
    : integral_contant<size_t, index_of<T, Ts..>::value>;

template <class T, class V>
constexpr size_t variant_index_v = variant_index<T, V>::value;

Где index_of - некая метафункция, возвращающая индекс типа T в списке типов std::variant.

Нужно также определить поведение этой функции:

Если T не содержится в Ts... (или T содержится в Ts... больше 1 раза), то поведение не определено.

Включать ли пункт про наличие T в Ts... больше одного раза - непонятно, это нужно обсудить.

cpp-ru / ideas

Добавить std::variant_index по аналогии с std::variant_alternative #388