在数组函数模板标头中使用 std::size_t (C++)

Question

在这段代码中：

#include <cstddef>
#include <array>
#include <iostream>

//                       here
template <typename T, std::size_t size>
void printArray(const std::array<T, size>& myArray) {
    for (auto element : myArray)
        std::cout << element << ' ';
    std::cout << '\n';
}

int main() {
    std::array myArray1{ 9.0, 7.2, 5.4, 3.6, 1.8 };
    
    printArray(myArray1);
    // shouldn't this line be
    printArray<double, 5>(myArray1)

    return 0;
}

我了解模板和函数的工作原理，但我不明白第 16 行将std::size_t传入的位置。我知道模板会推导出类型。 它也会自动传入数组大小吗？

Answer 1

我知道模板会推断类型。 它也会自动传入数组大小吗？

是的，模板非类型参数size的值将从函数参数的类型推导出来，与推导出模板类型参数T相同。