`boost::hana` 模板化函数的自省

Question

我想知道一个类型是否定义了带有模板参数的成员函数，但模板参数受 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 满足：“对于满足Condition 的每个类型T，都有一个成员函数A::foo(T)”

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

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

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

Answer 1

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

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

我提供了一个额外的示例，它允许提供一个“概念”，假设某种设施可以为您输入的任何“概念”提供具体的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));
}