ofats / meta_evo Goto Github PK

main.cpp:82: ошибка: C2593: неоднозначный "operator =="
main.cpp:19: может быть
bool operator ==<int,double,char>(type_pack<int,double,char>,type_pack<int,double,char>)
main.cpp:17: или
bool operator ==<int,double,char,int,double,char>(type_pack<int,double,char>,type_pack<int,double,char>)
main.cpp:83: при попытке сопоставить список аргументов
(type_pack<int,double,char>, type_pack<int,double,char>)

Я решил так.
template <class... Ts, class... Us, class T = disable_if_t<std::is_same_v<Ts..., Us...>>>
constexpr bool operator==(type_pack<Ts...>, type_pack<Us...>) { return false; }
`

main.cpp:180: ошибка: C2466: невозможно выделить память для массива постоянного нулевого размера
bool bs[]{ std::is_same<T, Ts>::value... };

Моё решение.

namespace good {

    // type-based
    template <class T, class... Ts>
    constexpr bool contains(type_pack<Ts...>)
    {
        bool res = false;
        if constexpr (sizeof...(Ts) > 0)
            bool bs[]{ std::is_same<T, Ts>::value... };
            for (bool b : bs) {
                res |= b;
            }
        }            
        return res;
    }
...

} // namespace good