1

我想知道一个类型是否定义了一个带有模板参数的成员函数，但模板参数受 SFINAE 约束。

示例我有一个A具有单个功能的类型foo 

struct A{
   template<typename T>
   std::enable_if<Condition<T>,ReturnType> foo(T t){ ... }
};

Condition是一些条件，例如std::is_pos_v

现在我boost::hana::is_valid用来确定一个类型是否有一个类似的成员函数foo()，foo(int)但是当使用模板参数时我迷路了。

我想写这样的东西

auto has_foo = hana::is_valid([](auto t) -> delctype(hana::traits::declval(t).foo(???)){});
has_foo(hana::type_c<A>); // <-- I want this to return true

问题是我应该放什么而不是???？

编译器可能不可能“证明”一个类型A满足：“对于每个T满足的类型Condition都有一个成员函数A::foo(T)”

所以为了让编译器更容易，我很乐意至少“证明”一个类型A成立：“有一个类型T，所以有一个成员函数A::foo(T)”

不幸的是，这在我的示例中仍然很难，因为这需要证明存在满足Condition.

因此，出于自省的目的，是否有可能忽略 SFINE？然后我可以选择任意类型并测试 eg 的存在A::foo(int)。

4

1 回答 1

2

如前所述，除了编写编译器插件和自己遍历 AST 之外，没有为这种自省提供任何工具。

hana::is_valid如果您提供一个具体T的来制作完整有效的表达式，您当然可以使用。

我提供了一个额外的例子，它允许提供一个“概念”，假设某种设施可以为T你输入的任何“概念”提供一个具体的设施。不过，这有点牵强。

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

namespace hana = boost::hana;
using hana::Sequence;


struct A {
    template <typename T>
    std::enable_if_t<Sequence<T>::value, void> foo(T) { }
};

struct B {
    template <typename T>
    void bar(T) { }
};


template <typename T>
auto has_foo_1 = hana::is_valid([](auto&& a)
    -> decltype(std::forward<decltype(a)>(a).foo(std::declval<T>())) { });


template <template <typename, typename> typename Concept>
auto declval_concept_impl = int{};

template <>
auto declval_concept_impl<Sequence> = hana::tuple<>{};

template <template <typename, typename> typename Concept>
using declval_concept = std::add_rvalue_reference_t<decltype(declval_concept_impl<Concept>)>;

template <template <typename, typename> typename Concept>
auto has_foo_2 = hana::is_valid([](auto&& a)
    -> decltype(std::forward<decltype(a)>(a).foo(declval_concept<Concept>{})) { });

int main() {
    A a;
    B b;

    static_assert(    has_foo_1<hana::tuple<>>(a));
    static_assert(not has_foo_1<hana::tuple<>>(b));
    static_assert(    has_foo_2<Sequence>(a));
    static_assert(not has_foo_2<Sequence>(b));
}
于 2018-04-10T20:04:29.830 回答