使用 if constexpr 时扣除模板参数失败

Question

我试图弄清楚 sfinae 概念在 C++ 中是如何工作的。但我无法说服对象类型编译器 if boolis trueor false。

#include <iostream>

class A {
public:
    void foo() { std::cout << "a\n"; }
};

class B {
public:
    void ioo() { std::cout << "b\n"; }
};

template<class T>
void f(const T& ob, bool value = false)
{
    if constexpr (!value) ob.foo();
    else  ob.ioo();
}

int main()
{
    A ob1;
    B ob2;
    f(ob1, true);
    f(ob2, false);
}

Answer 1

您需要让bool参数成为模板的一部分。在您的情况下， boolvalue是一个运行时参数。

通过添加valueas 非模板参数，您的代码可以编译：

template<bool Flag, class T>
//       ^^^^^^^^
void f(const T& ob)
{
    if constexpr (Flag) {
        ob.foo();
    }
    else
        ob.ioo();
}

你可以这样称呼：

f<true>(ob1);
f<false>(ob2);

作为旁注，您的A::foo()andB::ioo()必须是const合格的成员函数，正如您想要调用const的那样，并且f.

话虽这么说，bool如果您可以使用该参数，则该参数是多余的std::is_same

#include <type_traits> // std::is_same

template<class T>
void f(const T& ob)
{
    if constexpr (std::is_same_v<T, A>) {
        ob.foo();
    }
    else if constexpr (std::is_same_v<T, B>)
        ob.ioo();
}

现在调用只需：

f(ob1);
f(ob2);