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

Question

我正在尝试弄清楚 sfinae 概念在 C++ 中的工作原理。但如果 bool 是 true 或 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 参数成为模板的一部分。在您的情况下， bool value 是一个运行时参数。

通过添加值作为非模板参数，your code can compile :

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() 和 B::ioo() 必须是 const 合格的成员函数，正如你想调用的那样，在 f 中使用每个类的 const 对象。

---

也就是说，如果您可以使用 std::is_same，则 bool 参数是多余的

#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);