相关疑难解决方法(0)

在阅读了Martin Uecker 谓词的标准 C11 版本后ICE_P，我尝试用纯 C++ 实现它。C11版本，使用_Generic选择如下：

#define ICE_P(x) _Generic((1? (void *) ((x)*0) : (int *) 0), int*: 1, void*: 0)

C++ 的明显方法是_Generic用模板 和替换decltype，例如：

template<typename T> struct is_ice_helper;
template<> struct is_ice_helper<void*> { enum { value = false }; };
template<> struct is_ice_helper<int*>  { enum { value = true  }; };

#define ICE_P(x) (is_ice_helper<decltype(1? (void *) ((x)*0) : (int *) 0)>::value)

然而，它未能通过最简单的测试。为什么它不能检测整数常量表达式？