Вывести std :: размер массива?

Question

В следующем коде:

template<size_t N> 
int b(int q, const std::array<int, N>& types) 
{ 
    int r = q; 
    for (int t : types) 
    { 
     r = r + t; 
    } 
    return r; 
} 

int main() 
{ 
    b<2>(9, { 2,3 }); 
} 

Как я могу избежать того, чтобы указать 2 в вызове б для N? Почему этот тип не может быть автоматически выведен? Без этого я получаю сообщение об ошибке:

'b': no matching overloaded function found 'int b(int,const std::array &)': could not deduce template argument for 'N'

Answer 1

Вывод аргумента шаблона основан на прямом сопоставлении типов между фактическим аргументом и формальным аргументом. Фактический аргумент - это список инициализаторов. Он не соответствует типу array (в лучшем случае он может соответствовать внутреннему необработанному массиву в std::array, но языковые правила этого не поддерживают).

Вместо этого вы можете просто использовать необработанный массив, а именно:

#include <stddef.h> 
#include <array> 

template<size_t N> 
int b(int q, int const (&types)[N]) 
{ 
    int r = q; 
    for (int t : types) 
    { 
     r = r + t; 
    } 
    return r; 
} 

int main() 
{ 
    b(9, { 2, 3 }); 
} 

Или, если вы абсолютно не нужно N во время компиляции, вы можете использовать std::initializer_list.

Существует также много других возможных подходов (например, функция вариационного шаблона или определение оператора для создания std::vector), но трудно сказать, что подойдет вашей нераскрытой цели.

Answer 2

Для выведения std::array размера можно использовать общие лямбды (C++ 14):

auto b = [](int q, const auto& types) { 
    int r = q; 
    for (int t : types) 
    { 
     r = r + t; 
    } 
    return r; 
}; 

int main() { 
    std::array<int, 2> arr = {{2,3}}; 
    b(9, arr); 
} 

Когда std::make_array (это в библиотеке Основы ТС) будут получать реализованы составителями (или вы будете использовать some own реализацию этого) вы не должны будете также передать размер массива при построении, просто используйте

b(9, std::make_array(2,3));