Question

我有这段代码：

template<typename ...T>
struct Test
{
    void call(string str)
    {
        abc(get<T>(str)...);
    }

    template<typename U>
    string get(string& inp)
    {
        string ret{ inp[0] };
        inp.erase(0, 1);

        cout << ret << endl; // first "a", next "b", next "c" - everything is ok

        return ret;
    }

    void abc(string a, string b, string c)
    {
        cout << a << " " << b << " " << c << endl; // "b c a" - why?
    }
};

我这样称呼它：

Test<int, bool, float> test;
test.call("abc");

输出为b c a，我认为a b c。此外，在get()函数中，我有一个正确的顺序。为什么是这样？我无法找到关于此订单的任何规则。

Answer 1

未指定函数参数的评估顺序。

abc(get<T>(str)...);

这基本上与：

相同

abc(get<T1>(str), get<T2>(str), get<TN>(str));

您可以通过生成一个数组来存储字符串，然后从该数组调度来强制执行评估顺序：

template <std::size_t N, std::size_t... Idx>
void call_helper(std::array<std::string, N> arr, std::index_sequence<Idx...>) {
    abc(std::get<Idx>(arr)...);
}

void call(string str)
{
    std::array<std::string,sizeof...(T)> arr { get<T>(str)... }; 
    call_helper(arr, std::index_sequence_for<T...>{});
}

Answer 2

不保证函数调用参数的顺序。因此，btn.getShape()没有定义的订单。

有关详细信息，请参阅Order of evaluation in C++ function parameters。

Variadic模板功能解压缩顺序

2 个答案: