массив инициализации порядка оценки в C++

Question

Мне нравится C++ 11 вариационных шаблонов, поэтому я часто пишу с ним несколько небольших кодов.

Смотрите этот пример:

#include <cstdio> 
#include <type_traits> 
#include <vector> 

template< typename ... T > 
auto make_vector(T ... t) -> std::vector< typename std::common_type<T...>::type > 
{ 
    std::vector< typename std::common_type<T...>::type > v; 
    v.reserve(sizeof...(T)); 

    using list = int[]; 
    (void)list{ 0, ((void)v.push_back(std::move(t)) ,0)... }; 
    //    |////
    //    -------- 
    //     \-- How are evaluated v.push_back()s, sequentially or arbitrary ? 
    return v; 
} 

int main() 
{ 
    auto v = make_vector(2, 3.0, 'a', 7UL); 

    for(auto e : v) 
     printf("%.2lf ", e); 

    printf("\n"); 

} 

Q: порядок вычисления инициализации последовательного массива или произвольной (или реализации определяется, неопределенное поведение)?

Если make_vector неправ, как я исправить его?

Answer 1

Они оцениваются последовательно. C++ 11 § 8.5.4 [dcl.init.list] Пункт 4:

В инициализаторе-листе из рамно-Init-листа, в инициализаторе-положении, включая любой что результат из пакетов (14.5.3) оценивается в том порядке, в котором они появляются.

vector Учитывая, что имеет initializer_list конструктор, можно упростить функцию:

template <typename ... T> 
auto make_vector(T ... t) -> 
    std::vector< typename std::common_type<T...>::type > 
{ 
    return { static_cast<typename std::common_type<T...>::type>(t)... }; 
} 

и не придется беспокоиться о тайных семантиках инициализации;)