C++如何在switch作用域外使用其内部定义的模板类变量

问题根源 #

你遇到的报错有两层核心原因：

• 语法层面：C++块作用域规则要求，在switch的case分支内定义的变量，仅在当前分支的局部作用域有效，出了switch作用域后自然无法访问
• 类型层面：Test<Sa>、Test<Sb>、Test<Sc>是完全独立的不同类型，无法直接用同一个普通变量承载不同模板参数的实例

解决方案 #

方案1：公共基类+多态（兼容C++11及以上版本） #

给模板类Test定义一个包含虚函数的公共基类，在switch外使用基类指针/智能指针持有实例，调用虚函数实现多态分发：

// 新增公共基类
class TestBase
{
public:
    virtual void print() = 0;
    virtual ~TestBase() = default;
};

template<SnType _Tsn>
class Test : public TestBase
{
public:
    void print() override
    {
        cout << "Type is " << _Tsn << endl;
    }
};

int main()
{
    SnType type = Sa;
    std::unique_ptr<TestBase> A; // 用基类智能指针提前声明
    switch (type)
    {
        case Sa:
            A = std::make_unique<Test<Sa>>();
            break;
        case Sb:
            A = std::make_unique<Test<Sb>>();
            break;
        case Sc:
            A = std::make_unique<Test<Sc>>();
            break;
        default:
            break;
    }
    if(A) { // 非空判断避免默认分支空指针
        A->print();
    }
    return 0;
}

方案2：std::variant实现类型安全的联合存储（C++17及以上版本） #

如果不想引入虚函数开销，可以用C++17引入的std::variant承载所有可能的Test实例类型，配合std::visit调用对应方法：

#include <variant>

// Test模板类保持原有定义不变
int main()
{
    SnType type = Sa;
    std::variant<Test<Sa>, Test<Sb>, Test<Sc>> A; // 提前声明variant变量
    switch (type)
    {
        case Sa:
            A = Test<Sa>();
            break;
        case Sb:
            A = Test<Sb>();
            break;
        case Sc:
            A = Test<Sc>();
            break;
        default:
            break;
    }
    std::visit([](auto&& obj) { obj.print(); }, A);
    return 0;
}

方案3：逻辑内聚到分支内部 #

如果不需要在switch外使用实例的其他方法，最简单的写法是直接把print调用放到每个case分支内，不需要额外改造类型：

int main()
{
    SnType type = Sa;
    switch (type)
    {
        case Sa: {
            Test<Sa> A;
            A.print();
            break;
        }
        case Sb: {
            Test<Sb> A;
            A.print();
            break;
        }
        case Sc: {
            Test<Sc> A;
            A.print();
            break;
        }
        default:
            break;
    }
    return 0;
}

内容的提问来源于stack exchange，提问作者majestic