c – CLang中的enable_if错误是否有更好的解决方法(错误11723)？

发布时间：2020-12-16 07:09:10 所属栏目：百科来源：网络整理

导读：理想情况下,我们可以使用enable_if执行类似的操作： #include type_traitsnamespace detail { enum class enabler_t { DUMMY };}templatebool Busing enable_if_u = typename std::enable_ifB,detail::enabler_t::type;templatebool Busing disable_if_u = t

理想情况下,我们可以使用enable_if执行类似的操作：

#include <type_traits>

namespace detail {
    enum class enabler_t { DUMMY };
}

template<bool B>
using enable_if_u = typename std::enable_if<B,detail::enabler_t>::type;

template<bool B>
using disable_if_u = typename std::enable_if<!B,detail::enabler_t>::type;

template<typename T,enable_if_u<std::is_same<T,int>::value>...>
int a(){return 0;}

template<typename T,disable_if_u<std::is_same<T,int>::value>...>
double a(){return 0.0;}

int main() {
    auto x = a<int>();
}

也就是说,imho,最好的使用方式.

但是,由于bug 11723,这对Clang不起作用.

我正在使用的解决方法是使用虚拟constexpr变量：

namespace detail {
    enum class enabler_t { DUMMY };
    constexpr const enabler_t dummy = enabler_t::DUMMY;
}

//...

template<typename T,int>::value> = detail::dummy>
int a(){return 0;}

template<typename T,int>::value> = detail::dummy>
double a(){return 0.0;}

//...

我不是这种解决方法的忠实粉丝我想知道是否还有另一种解决方法可以让代码在Clang中运行？我正在寻找纯C解决方案,不涉及预处理器.

这个例子本身就是为了说明这个问题,它根本没用,并且有很多方法可以让它变得更好.我只是想为enable_if部分找到一个更好的解决方法.

解决方法

你应该只使用一个宏：

#define ENABLE_IF(...) typename std::enable_if<(__VA_ARGS__),detail::enabler_t>::type=detail::enabler_t::DUMMY

宏还具有避免C中最令人烦恼的解析的优点,因为它总是可以在布尔表达式周围放置括号.如果您认为大写宏看起来很丑,可以使用ZLang使其更干净,如下所示：

#define BW_ENABLE_IF(...) typename std::enable_if<(__VA_ARGS__),detail::enabler_t>::type=detail::enabler_t::DUMMY
#define ZLANG_bw_enable_if (BW_ENABLE_IF)

如果使用-DZLANG_NS = bw进行编译,则可以编写以下内容：

template<typename T,$(enable_if std::is_same<T,int>())>
int a(){return 0;}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!