能否使用定义不同别名的头文件编译同一份C++源代码

TLDR答案：完全可以使用定义了不同类型别名的头文件编译同一份源代码，不需要强制改成每次调用都显式指定模板参数的形式，以下是两种低侵入、不破坏代码可读性的实现方案：

方案1：分离独立编译目标 + 编译宏控制头文件引入（零逻辑改动，适配现有代码） #

这个方案不需要修改任何已经写好的算法代码，只需要调整头文件组织方式和CMake构建规则：

• 新建统一入口头文件algorithm.h，通过编译宏切换要引入的类型别名定义头：

  #ifdef ALGO_DIM_3D
  #include "algorithm_3d.h"
  #else
  #include "algorithm_2d.h"
  #endif
  

• 原有的algorithm.cpp只需要引入这个统一头文件即可，所有用到Point/Vector/PointSet的逻辑完全不需要改动，和你之前的编写体验完全一致。
• 在CMake中配置两个完全独立的编译目标：
  • 2d版本目标：编译时不定义ALGO_DIM_3D宏，编译过程自动引用2d类型别名，产出对应2d版本的pybind11 Python模块
  • 3d版本目标：编译时添加-DALGO_DIM_3D编译选项，编译过程自动引用3d类型别名，产出对应3d版本的pybind11 Python模块

注意：两个编译目标的编译过程必须完全独立，不能复用中间产物，否则会触发C++单一定义规则（ODR）冲突。

这个方案的改动量极小，完全不需要引入模板，适合确定只需要维护2d、3d两个版本，不需要扩展其他维度类型的场景。

方案2：隐式模板推导 + 显式实例化（无冗余模板参数，可多版本共存） #

你对模板的顾虑存在认知偏差：不需要每次调用函数都手动写<Eigen::Vector2d>这类模板参数，C++的模板实参推导会自动根据传入参数匹配类型，配合显式实例化和类型别名，使用体验和普通函数完全一致：

• 将核心算法逻辑放到内部实现头文件（比如algorithm_impl.h），编写为模板形式，所有内部函数调用都依赖编译器自动推导类型，不需要手动加尖括号传参：

  // algorithm_impl.h
  #pragma once
  #include <Eigen/Core>
  #include <vector>
  
  template <typename VecT>
  VecT& scale_vector(VecT &v, double s) {
      double len = v.norm();
      if (len != 0.0) { v *= s / len; }
      return v;
  }
  
  template <typename PointT>
  double distance_between_points(PointT const &p1, PointT const &p2) {
      return (p2 - p1).norm();
  }
  
  template <typename PointT, typename VecT>
  VecT compute_left_tangent(
      const std::vector<PointT, Eigen::aligned_allocator<PointT>> &pts,
      int end
  ) {
      VecT tHat1 = pts[end+1] - pts[end];
      tHat1 = tHat1 / distance_between_points(pts[end], pts[end+1]);
      return tHat1;
  }
  

• 分别为2d、3d版本编写独立的编译单元，在其中定义对应维度的类型别名，同时显式实例化对应维度的所有模板函数：

  // algorithm_2d.cpp
  #include "algorithm_2d.h" // 其中定义了Point=Eigen::Vector2d, Vector=Eigen::Vector2d, PointSet=std::vector<Point, Eigen::aligned_allocator<Point>>
  #include "algorithm_impl.h"
  
  // 显式实例化2d版本，外部调用不需要传任何模板参数
  template Vector& scale_vector<Vector>(Vector&, double);
  template double distance_between_points<Point>(Point const&, Point const&);
  template Vector compute_left_tangent<Point, Vector>(PointSet const&, int);
  
  // 后续写pybind11 2d版本绑定逻辑即可
  

  3d版本的编译单元逻辑完全对称，只需要引入3d的类型别名头，显式实例化3d对应的类型即可。

这个方案下你编写核心算法逻辑时，和之前用类型别名的体验几乎没有区别，既保留了模板的灵活性，又不需要在调用时手动写冗长的模板参数列表，还支持在同一个Python模块里同时导出2d、3d接口，适合后续可能扩展更多维度（比如4d、自定义向量类型）的场景。

内容的提问来源于stack exchange，提问作者Ignacio Montesino Valle