以模板类为字段的非模板类，不指定模板参数

Question

有没有办法拥有这样的模板类

template<bool state = true>
class A
{
};

并且有另一个类可以接受A<true> 和A<false> 作为参数或字段，而不是模板类本身。像这样：

class B
{
public:
    B(A& arg_a)
       : a(arg_a)
    {}

private:
    A& a;
};

int main()
{
    A<true> aTrue;
    A<false> aFalse;
    B bTrue(aTrue);
    B bFalse(aFalse);
};

或者这是否根本不可能，因为具有不同模板参数的同一类的两个对象被编译器视为不同的类型？关于如何设计它的其他建议也将不胜感激。我知道如果我只是将模板参数设为类字段，这种设计是可能的，但我想知道这是否可以使用模板参数来完成。

Answer 1

或者这根本不可能，因为具有不同模板参数的同一类的两个对象被编译器视为不同的类型？

类模板A的两个不同的特化A<true>和A<false>确实是不同的类型。

您可以重载 B 的构造函数以允许它们中的每一个：

struct B {
    B(const A<true>&);
    B(const A<false>&);
}

或者您可以利用派生自公共基类的A 的任何特化来利用多态性：

#include <ios>
#include <iostream>

struct Base {
    virtual bool getState() const = 0;
};

template<bool state = true>
struct A : public Base {
    bool getState() const override { return state; }
};

struct B {
    bool state;
    B(const Base& base) : state(base.getState()) {}
};

int main() {
    A<true> a1{};
    A<false> a2{};
    std::cout << std::boolalpha 
        << B(a1).state << " "  // true
        << B(a2).state;        // false
}

另一个替代方法，正如 cmets 中 @Jarod42 所提到的，是使用 std::variant，前提是您使用的是 C++17（或更高版本）；特别是std::variant<A<true>, A<false>>。