代码之家 › 专栏 › 技术社区 › DarthRubik

使用“hana::is\ u valid”失败,并带有常量引用

boost-hana sfinae c++14 c++

DarthRubik · 技术社区 · 6 年前

我正在使用hana来确定对象是否具有 Length 诸如此类的成员:

using boost::hana::is_valid;


static const auto has_length
    = is_valid([](const auto& obj)
            -> decltype(obj.Length(),void()) {});

这工作很好…我可以做静态资产与它整天我的心内容。所以下一步是合乎逻辑地 enable_if 函数:

template<typename T>
auto foo(T t) -> std::enable_if_t<has_length(t), void>
{
}
struct mine
{
    int Length() const { return 0; }
};

int main()
{
    foo(mine{});
}

这很管用…但是一旦我换了衣服 T 到 const T& godbolt

所以我的问题是:为什么会这样?

1 回复 | 直到 6 年前

Jason Rice 6 年前

问题是调用引用不是constexpr的函数不是constexpr。这就是 hana::is_valid integral_constant -类似于包含静态constexpr布尔值的值,因此我们可以只查看返回类型。看到了吗 bool_

举个例子:

#include <boost/hana.hpp>
#include <type_traits>

namespace hana = boost::hana;

static auto has_length = hana::is_valid([](auto&& t)
  -> decltype(t.Length()) { });

template <typename T>
auto foo(T const& t)
  -> std::enable_if_t<decltype(has_length(t)){}, void>
                   // ^-- notice the return type 
                   // is a boolean integral constant
{ }

struct mine
{
  int Length() const { return 0; }
};

int main()
{
  foo(mine{});
}

推荐文章

notamaster · 匿名命名空间中的变量声明和其他位置的定义

2 年前

kadina · 如何检查给定的年、月、日和时间格式在C++中是否有效?

2 年前

yo_gdg · C++模板元函数

6 年前

oink · 模板类型推断是否可以考虑基元操作类型转换?

6 年前

Kainaan Riordan · “vector”和“vector”对象类型之间的差异

6 年前

Kainaan Riordan · 在基于for循环的范围内使用双精度/整数并缩小数据范围

6 年前

User9123 · 函数样式模板语法

6 年前

Lingxi · 删除未使用新表达式构造的对象实际上可以吗?

6 年前

HappyCactus · 从强类型的元组生成PoD的元组

6 年前

Shabbar · 如何在共享类时隐藏成员函数文件

6 年前