Как сделать a3 компиляцию?
int main()
{
int a1[] = { 1, 2, 3 };
std::array<int, 3> a2 = { 1, 2, 3 };
std::array<int> a3 = { 1, 2, 3 };
}
Очень неудобно и хрупко, чтобы жестко закодировать размер массива при использовании списка инициализации, особенно длинных. Есть ли какая-нибудь работа? Я надеюсь, что в противном случае я разочарован, потому что я ненавижу C-массивы и std::array должен быть их заменой.
В настоящее время нет способа сделать это, не сворачивая свой собственный make_array, есть предложение для этого N3824: make_array, которое имеет следующую область:
LWG 851, предназначенный для обеспечения синтаксиса замены
array<T, N> a = { E1, E2, ... };поэтому следующее
auto a = make_array(42u, 3.14);хорошо сформирован (с добавлением дополнительных static_casts внутри), потому что
array<double, 2> = { 42u, 3.14 };хорошо сформирован.
В этом документе предлагается создать набор интерфейсов создания std:: array которые являются всеобъемлющими как с точки зрения кортежей, так и с массивами точка зрения, поэтому сужение просто естественно запрещено. Подробнее управляемые этим направлением в проектных решениях.
Он также включает примерную реализацию, которая довольно длинна, поэтому копирование здесь нецелесообразно, но у Konrad Rudolph есть упрощенная версия здесь, что соответствует приведенной выше реализации выборки:
template <typename... T>
constexpr auto make_array(T&&... values) ->
std::array<
typename std::decay<
typename std::common_type<T...>::type>::type,
sizeof...(T)> {
return std::array<
typename std::decay<
typename std::common_type<T...>::type>::type,
sizeof...(T)>{std::forward<T>(values)...};
}
Ты немного переоцениваешься, когда говоришь "нужна такая ужасно сложная (мне) функция". Вы можете сделать упрощенную версию самостоятельно, предложение также включает функцию "to_array" для преобразования C-массивов и выведения типа из первого параметра. Если вы оставите это, он станет вполне управляемым.
template<typename T, typename... N>
auto my_make_array(N&&... args) -> std::array<T,sizeof...(args)>
{
return {std::forward<N>(args)...};
}
который вы можете вызвать как
auto arr = my_make_array<int>(1,2,3,4,5);
изменить: Я должен упомянуть, что на самом деле есть версия этого предложения, которое я пропустил, поэтому это должно быть более правильным, чем моя версия:
template <typename V, typename... T>
constexpr auto array_of(T&&... t)
-> std::array < V, sizeof...(T) >
{
return {{ std::forward<T>(t)... }};
}