如果可以使用constexpr＆＃x27;确定是否可以使用特定类型参数实例化模板函数？

Question

假设存在以下代码：

class Foo {
 public:
    void foo() const { std::cout << "foo" << std::endl; }
};

class Bar {
 public:
    void bar() const { std::cout << "bar" << std::endl; }
}; 

template <typename T>
void DoFoo(const T& f) {
    f.foo();
}

想编写这样的函数：这

template <typename T>
void DoFooIfPossible() {
    if constexpr (/* DoFoo<T>(T()) would compile */) {
        DoFoo(T());
    } else {
        std::cout << "[not possible]" << std::endl;
    }
}

：

int main() {
    DoFooIfPossible<Foo>();
    DoFooIfPossible<Bar>();
}

​​样

foo
[not possible]

我 dofoo使用的成员函数使用：

template <typename T, typename = void>
struct IsFooPossible : std::false_type {};

template <typename T>
struct IsFooPossible<
    T, std::enable_if_t<std::is_member_function_pointer_v<decltype(&T::foo)>>> 
    : std::true_type {};

template <typename T>
void DoFooIfPossible() {
    if constexpr (IsFooPossible<T>::value) {
        DoFoo(T());
    } else {
        std::cout << "[not possible]" << std::endl;
    }
}

但是，我在这里问的问题是：我可以在不对实现dofoo？。

在现实世界中，dofoo可能是我不拥有的库函数。它可能会在其模板参数类型t上放置许多不同的条件，并且这些条件可能会随着时间而变化。因此，在enable_if我代码中的表达式中复制这些条件不是可行的解决方案。

我想知道是否可以以直接直接测试dofoo＆lt＆lt; t＆gt;的方式来实例化，是否可以在不具有的情况下实例化，是否可以编写我的。关于dofoo的实现的任何特殊知识，而无需修改dofoo。

我正在尝试在C ++ 17中这样做，因此，如果C ++ 20中有一些可以处理的东西，那将很有趣，但无法解决我的问题。

（还请注意，为了创建一个最小的示例，我假设t是默认构造的。我并不真正在乎t（）的一部分dofoo（t（）） - 我正在尝试确定是否可以实例化dofoo＆lt; t＆gt;。

Answer 1

最终的解决方案将是C ++ 20 概念 S，因为老式的Sfinae方法具有警告。但是，仍然有一些编译器错误可能会追捕您。
您可以使用需要子句作为内联概念，最终可以评估constexpr bool：

if constexpr(
    requires {
        /*do your test declaration s*/
    }
)//...rest