如果变体类型之一，如何启用模板功能？

Question

我有一些变体using V = std::variant<A, B, C> 和一些函数foo，原型void foo(const T&)。

如果V 的其中一种类型被传递（没有明确指出），则希望我的函数foo 成为std::enable_ifed。

我的V 会及时得到越来越多的类型，正因为如此，解决方案就像

template<class T,
         typename std::enable_if<
            std::is_same_v<T, A> || std::is_same_v<T, B> || std::is_same_v<T, C>,
            int>::type = 0>
void foo(const T&);

不可接受。

Here 是一种升压解决方案。

是否可以实现std::variant的逻辑？

理想情况下，类型特征应该类似于is_one_of_variants_types<V, T>。

Answer 1

template <typename, typename>
constexpr bool is_one_of_variants_types = false;

template <typename... Ts, typename T>
constexpr bool is_one_of_variants_types<std::variant<Ts...>, T>
    = (std::is_same_v<T, Ts> || ...);

template <typename T>
auto foo(const T&)
    -> std::enable_if_t<is_one_of_variants_types<V, T>>;

DEMO

Answer 2

如果 V 的类型之一被传递（不明确指出），则希望我的函数 foo 为 std::enable_if ed。

我想你可以简单地尝试，在 decltype() 中，在 emplace() 中 T 值在 V 值中。

我的意思是……如下所示

#include <variant>
#include <type_traits>

struct A {};
struct B {};
struct C {};

using V = std::variant<A, B, C>;

template <typename T>
auto foo (T const & t)
   -> std::void_t<decltype( std::declval<V>().emplace<T>(t) )>
 { }

int main ()
 {
   foo(A{});  // compile
   // foo(0); // compilation error
 }

显然，这仅适用于所有变体类型不同且具有复制构造函数（隐式或显式）的情况。