懒惰的评价答案

【问题标题】：Lazy evaluation懒惰的评价
【发布时间】：2011-07-16 01:30:43
【问题描述】：

我怎样才能懒惰地评估 std::conditional 中的第二个参数？

#include "stdafx.h"
#include <type_traits>

struct Null{};
struct _1{enum {one = true,two = false};};
struct _2{enum {two = true, one = false};};

template<class T>
struct is_nulltype
{
    enum {value = false};
};

template<>
struct is_nulltype<Null>
{
    enum {value = true};
};

template<class T>
struct X : std::conditional<is_nulltype<T>::value,Null,typename std::conditional<T::one,_1,_2>::type>::type
{
};

int _tmain(int argc, _TCHAR* argv[])
{
X<Null> x;//won't compile no Null::one but I don't need that member in Null at all
    return 0;
}

【问题讨论】：

对于手头的问题，只需将X 特化为Null 类型。
@Alf 这意味着我必须有两个“几乎”相同的类。不行。
看起来你在这里寻找的是“惰性编译”而不是“惰性评估”。在 X 的定义中用 Null 代替 T 会导致语法错误。语法评估不能延迟。

标签： c++ metaprogramming lazy-evaluation

【解决方案1】：

通常的技术是让std::conditional 在两个元函数之间进行选择：

template <typename T>
struct false_case {
  typedef typename std::conditional<T::one,_1,_2>::type type;
};

struct always_null {typedef Null type;};

template<class T>
struct X :
  std::conditional<is_nulltype<T>::value,
                   always_null,
                   false_case<T>
                  >::type::type { ... };

现在注意std::conditional 之后的两个::types。

【讨论】：

false_case 可以将conditional 作为基类以使其更短。
谢谢，我想它会做我打算做的。如果没有，我会告诉你的。