检查编译时类中是否有静态函数

Question

我目前正在连接一个具有多个实现的应用程序，用于单个目的。 在运行时检查是否可以使用适当的实现，或者是否使用了回退。

为此，我希望所有实现都实现静态函数static bool is_available() 。

由于静态函数不能在底层基类中变为抽象，是否有一些预处理器魔法允许我输出错误消息，如果该方法在子类中没有静态实现？

Answer 1

与user9400869的答案相同，您可以使用SFINAE定义特征，以便在编译时检查类的可用性：

#include <type_traits>

template<class LIB, class = void>
struct is_available
: std::false_type
{};

template<class LIB>
struct is_available<LIB, std::enable_if_t<std::is_invocable_r<bool, decltype(LIB::is_available)>::value>>
: std::integral_constant<bool, LIB::is_available()>
{};

template<class LIB>
constexpr bool is_available_v = is_available<LIB>::value;

这意味着libs的C ++ 17和constexpr函数is_available ：

#include <iostream>

struct A {};
struct B { static constexpr bool is_available() { return false; } };
struct C { static constexpr bool is_available() { return true; } };

int main()
{
    std::cout << is_available_v<A> // 0
              << is_available_v<B> // 0
              << is_available_v<C> // 1 :)
              << '\n';
}

完整演示

---

如果C ++ 17不是一个选项，则std::is_invocable_r使用C ++ 14功能实现std::is_invocable_r 。

如果constexpr静态成员函数不是库类的选项，则不能依赖std::true_type和std::false_type并且必须使用运行时结果收集：

#include <type_traits>

template<class LIB, class = void>
struct is_available
{
    static bool value() { return false; }
};

template<class LIB>
struct is_available<LIB, std::enable_if_t<std::is_invocable_r<bool, decltype(LIB::is_available)>::value>>
{
    static bool value() { return LIB::is_available(); }
};

完整演示

Answer 2

你可以在编译时使用模板测试它。 它是这样的（抱歉没有测试）：

template<class Type_to_test, class Technical_Detail = void>
struct has_isAvilable : std::false_type {}

template<class Type_to_test>
struct has_isAvilable<Type_to_test, std::enable_if_t<
  std::is_same<bool,decltype(Type_to_test::is_available())>::value
> > : std::true_type {}

然后你可以在代码中的某个地方使用：

static_assert(has_isAvilable<Implementation>::value,"Usefull error message");

实施是您希望测试的课程。 看看std::type_traits的例子。

Answer 3

我建议一个替代方案：标签调度：

template <typename T> struct Tag {};

struct Base { /**/ };
struct Child1 : Base { /**/ };
struct Child2 : Base { /**/ };

bool is_available(Tag<Base>) {/*..*/}
bool is_available(Tag<Child1>) {/*..*/}
bool is_available(Tag<Child2>) {/*..*/}

Tag “阻止”继承，与以下内容相反：

struct Base { static constexpr bool is_available() { return false; } };
struct Child1 : Base { static constexpr bool is_available() { return true; } };
struct Child2 : Base { /**/ };

static_assert(Base::is_available() == false);
static_assert(Child1::is_available() == true);
static_assert(Child2::is_available() == false); // Call Base::is_available()