Question

假设我想使用std::conditional来确定类型，如果类型为vector<...>，则返回值为vector<...>::size_type，如果不是，则为int。（只是一个例子）。

一种使用std::conditional的天真方式：

template<class V> struct is_vector : std::false_type{};
template<class T> struct is_vector<std::vector<T>> : std::true_type{};

template<class C>
using my_size_type = typename std::conditional<
    not is_vector<C>::value, 
    int, 
    C::size_type // note that this line only makes sense when condition is false
>::type;

然而，这会失败，因为如果C表示double，double::size_type会出错，即使这是对第二个错误选项的评估。

所以，我很想知道是否存在一种lazy_conditional，其中不会评估false（或第二个false）语句。

我在这里发现了一些内容：https://stackoverflow.com/a/5317659/225186但我不知道如何使用它我的例子。

请注意，我知道如何在不使用std::conditional的情况下获得相同的结果：

template<class V> struct my_size_type{typedef int type;};
template<class T> struct my_size_type<std::vector<T>>{typedef std::vector<T>::size_type type;};

问题是，是否有lazy_conditional以某种方式封装了std::conditional被短路。

在出现一些试验错误后，我设法使用https://stackoverflow.com/a/5317659/225186中的想法并进行以下操作。这也让我觉得不可能写std::lazy_conditional因为C::size_type在任何先验表达式中都不会出现，所以需要两步表达式。

template<class C, bool B> struct false_case{
    typedef void type;
};
template<class C> struct false_case<C, false>{
    typedef typename C::size_type type;
};

template<class C>
using size_type = typename std::conditional<
    not is_vector<C>::value, 
    int, 
    typename false_case<C, not is_vector<C>::value>::type
>::type;

我甚至无法将其压缩成一个宏，因为每个案例都不同。

Answer 1

您需要一个间接级别。

template<class T> struct identity { using type = T; };

template<class C> 
struct size_type_of : identity<typename C::size_type> { };

template<class C>
using size_type = typename std::conditional<not is_vector<C>::value,
                                            identity<int>,
                                            size_type_of<C>>::type::type;

重点是延迟查看C::size_type（通过实例化size_type_of<C>）直到你知道它有一个。{/ p>

如果您真正想做的是“C::size_type如果存在，int则”，那么std::experimental::detected_or_t就是您的朋友：

template<class C>
using size_type_t = typename C::size_type;

template<class C>
using size_type_or_default = std::experimental::detected_or_t<int, size_type_t, C>;

是否可以构建一个惰性条件元函数

1 个答案: