c++ - 减少 C++ 中的模板化类参数

Question

我有这样一个类:

template <unsigned int A, unsigned int B>
class Foo { ... };

Foo 需要一个名为 bar() 的方法，但我需要专门化它。对于一个案例，当 A == B 时，我希望它做一件事，否则做其他事情。我可以在不向函数中写入 if 语句的情况下执行此操作吗？喜欢:

Foo<A, A>::bar() { ... } and Foo<A, B>::bar() { ... }

Answer 1

你可以部分特化你的类:

#include<cassert>

template<typename A, typename B>
struct S {
    void f(int i) { assert(i == 42); }
};

template<typename A>
struct S<A, A> {
    void f(int i) { assert(i == 0); }
};

int main() {
    S<int, double> s1;
    S<int, int> s2;
    s1.f(42);
    s2.f(0);
}