将C样式数组传递给`span`

Question

size_t size(std::span<int> s)
{
    return s.size();
}

int main()
{
    std::array arr = {1,2,3,4,5};
    std::vector vec = {1,2,3,4,5};
    auto il = {1,2,3,4,5};
    int c_arr[] = {1,2,3,4,5};
    std::cout << size(arr) << size(vec) << size(il) << size(c_arr);
}

template<typename T>
size_t size(std::span<T> s)
{
    return s.size();
}

int main()
{
    std::array arr = {1,2,3,4,5};
    std::vector vec = {1,2,3,4,5};
    auto il = {1,2,3,4,5};
    int c_arr[] = {1,2,3,4,5};
    std::cout << size(arr) << size(vec) << size(il) << size(c_arr);
                                                       ^^^^^^^^^^^
    // error: no matching function for call to 'size(int [5])'
    // note: template argument deduction/substitution failed:
    // note: mismatched types 'std::span<_Type, 18446744073709551615>' and 'int*'
}

这是正确的行为吗？如果是这样，有没有办法接受带有span 的C样式数组？

Answer 1

问题不是为什么这对int[]失败，而是为什么它对所有其他类型都有效！不幸的是，ADL实际上调用的是std::size，而不是您编写的size函数。这是因为函数的所有重载都失败了，所以它会在第一个参数的命名空间中查找匹配函数，并在其中找到std::size。重新运行程序，将函数重命名为其他函数：

template<typename T>
size_t my_size(std::span<T> s)
{
    return s.size();
}

在gcc 12上我得到

prog.cc:18:25: error: no matching function for call to 'my_size(std::array<int, 5>&)'
   18 |     std::cout << my_size(arr) << my_size(vec) << my_size(il) << my_size(c_arr);
      |                  ~~~~~~~^~~~~
prog.cc:7:8: note: candidate: 'template<class T> size_t my_size(std::span<_Type, 18446744073709551615>)'
    7 | size_t my_size(std::span<T> s)
      |        ^~~~~~~
prog.cc:7:8: note:   template argument deduction/substitution failed:
prog.cc:18:25: note:   'std::array<int, 5>' is not derived from 'std::span<_Type, 18446744073709551615>'
   18 |     std::cout << my_size(arr) << my_size(vec) << my_size(il) << my_size(c_arr);
      |                  ~~~~~~~^~~~~

加上所有其他类型的类似错误。如果你的问题是为什么会失败；那么简单的回答是，模板类型的推导比常规类型的推导严格得多，所以除非给它一个精确的匹配（或多或少），否则它将失败。要了解更详细的解释，请阅读类似的问题，比如这个问题，它涉及类似的事情