懒惰评价
问题描述:
我该如何懒惰评估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;
}
答
这种情况的常用的方法是有std::conditional
2元功能之间进行选择:两个::type
小号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 { ... };
注意。
+0
'false_case'可以将'conditional'作为基类来缩短它的长度。 – aaz 2011-03-15 20:33:24
+0
谢谢,我认为它会做我想做的。如果没有,我会让你知道。 – 2011-03-15 20:45:36
对于手头的问题,只需将'X'专用于'Null'类型。 – 2011-03-15 19:38:10
@Alf这意味着我必须有两个“几乎”相同的类。不行。 – 2011-03-15 19:47:46
它看起来像你在这里寻找的是“懒惰编译”,而不是“懒惰评估”。在X的定义中将T替换为T会导致语法错误。语法的评估不能被延迟。 – goedson 2011-03-15 20:16:41