如何预先声明无确切类型的C++模板变量？

首先明确原代码的核心问题：

• 在函数内部直接声明template<typename MatType> Matrix<MatType> A;是非法语法，模板不能在函数作用域内这样定义变量。
• C++是静态类型语言，变量的类型在编译期就已确定，无法在运行时动态切换A的类型（一会是Matrix<int>，一会是Matrix<double>）。

下面提供三种可行的解决方案：

方案1：使用std::variant（C++17及以上） #

用std::variant创建一个能容纳多种类型的变量，运行时根据条件切换存储的矩阵类型，访问时通过std::visit处理不同类型的逻辑。

#include <variant>

int main(int argc, char* argv[]) { 
  // 定义能容纳int或double类型矩阵的变量
  std::variant<Matrix<int>, Matrix<double>> A;
  bool program = true;

  while(program) {
    auto file = type_filename();
    bool intmatrix = checkfile(file);
    bool doublematrix = checkfile(file);
 
    if (intmatrix) { 
      A = Matrix<int>(2, 2);
    } else if (doublematrix) { 
      A = Matrix<double>(2, 2);
    }
 
    // 访问A中的矩阵，用lambda处理不同类型
    std::visit([](auto& mat) {
        // 这里编写对任意Matrix<T>的操作逻辑
        mat.print(); // 示例：调用矩阵的打印方法
    }, A);
 
    program = waitforinput();
  }
}

方案2：基类+多态（适用于有统一接口的场景） #

定义一个抽象基类，让Matrix模板类继承它，通过智能指针指向不同类型的矩阵实例，利用多态调用统一接口。

// 定义抽象基类，声明所有矩阵都需要实现的接口
class BaseMatrix {
public:
    virtual ~BaseMatrix() = default; // 必须定义虚析构函数
    virtual void print() = 0; // 示例接口：打印矩阵
};

// 让Matrix模板类继承基类
template<typename MatType>
class Matrix : public BaseMatrix {
public:
    Matrix(int rows, int cols) { /* 构造实现 */ }
    void print() override { /* 打印逻辑实现 */ }
};

int main(int argc, char* argv[]) { 
  // 用智能指针管理基类对象
  std::unique_ptr<BaseMatrix> A;
  bool program = true;

  while(program) {
    auto file = type_filename();
    bool intmatrix = checkfile(file);
    bool doublematrix = checkfile(file);
 
    if (intmatrix) { 
      A = std::make_unique<Matrix<int>>(2, 2);
    } else if (doublematrix) { 
      A = std::make_unique<Matrix<double>>(2, 2);
    }
 
    // 通过基类指针调用统一接口
    if (A) {
        A->print();
    }
 
    program = waitforinput();
  }
}

方案3：模板函数封装逻辑（最简单的静态类型方案） #

把需要操作矩阵的逻辑提取成模板函数，每次确定类型后直接创建对应类型的矩阵并处理，避免维护可变类型的变量。

// 模板函数：处理任意类型的矩阵
template<typename MatType>
void process_matrix(Matrix<MatType>& mat) {
    // 编写矩阵处理逻辑
    mat.print();
}

int main(int argc, char* argv[]) { 
  bool program = true;

  while(program) {
    auto file = type_filename();
    bool intmatrix = checkfile(file);
    bool doublematrix = checkfile(file);
 
    if (intmatrix) { 
      Matrix<int> A(2, 2);
      process_matrix(A);
    } else if (doublematrix) { 
      Matrix<double> A(2, 2);
      process_matrix(A);
    }
 
    program = waitforinput();
  }
}

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