为何无法将std::span<int>传入接收std::span<const T>的函数模板？

问题代码 #

#include <span>
#include <vector>

template <typename T>
void f1(std::span<const T> param)
{}

template <typename T>
void f2(const T* param)
{}

int main()
{
   std::vector<int> v{1,2,3};
   std::span<int> s{v};
   // Uncommenting this line causes a compilation error:
   // cannot deduce a type for 'T' that would make 'const T' equal 'int'
   // f1(s);
   int x = 10;
   int* px = &x;
   const int* z = px;
   f2(px); // Works fine
   f2(z);  // Works fine
}

核心原因分析 #

1. 原生指针const T*的推导逻辑

当调用f2(px)（px是int*）时：

• 编译器匹配const T*与int*，推导T=int，此时const T*等价于const int*，而int*可隐式转换为const int*，符合参数要求，编译通过。
  当调用f2(z)（z是const int*）时：
• 直接推导T=int，const T*与const int*完全匹配，编译通过。

2. std::span的推导逻辑

当调用f1(s)（s是std::span<int>）时：

• 模板推导会严格匹配类型结构：编译器需要找到一个T，让std::span<const T>与std::span<int>完全一致，这意味着const T必须等于int——但这不可能实现：
  • 若T=int，const T是const int，不等于int；
  • 若T=const int，const T等价于const int，还是不等于int。
• 关键限制：模板类型推导不会自动触发隐式转换。虽然std::span<int>可以隐式转为std::span<const int>，但编译器不会先做转换再推导T，而是直接从传入的std::span<int>匹配std::span<const T>的结构，最终推导失败。

解决方法 #

• 显式指定模板参数：调用时写成f1<int>(s)，此时T=int，函数参数为std::span<const int>，std::span<int>可隐式转换为该类型，编译通过。
• 修改函数模板参数：将模板参数改为直接匹配span的元素类型，内部再处理const逻辑：

  template <typename T>
  void f1(std::span<T> param) {
      std::span<const T> const_span = param;
      // 后续使用const_span处理业务逻辑
  }
  

  传入std::span<int>时，T会被推导为int，满足需求。

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