如何將可變數量和類型的參數傳遞給模板函數？

Question

我正在設置一個控制檯命令，它接受可變數量的參數，每個參數都可以是基本類型（int，float，bool，string），然後將它們傳遞給一個具有8個重載以支持不同數字的函數不同類型的論點。我如何將命令行字符串解析爲基於類型的值，然後將它們傳遞給函數？

我可以通過函數const char* GetArg(int index)檢索每個參數。將char*轉換爲正確的類型不是問題，所以不要擔心該部分。存儲這些值並以某種方式傳遞給模板函數是我堅持的部分。

例如，如果該命令是用下面的字符串執行的：「命令66真5‘的字符串值’0.56」

它隨後將被分成下面的指定參數和以某種方式存儲：

int arg1 = GetArg(1); // 66 
bool arg2 = GetArg(2); // true 
int arg3 = GetArg(3); // 5 
char* arg4 = GetArg(4); // "string value" 
float arg5 = GetArg(5); // 0.56 

，然後根據args來數，調用正確的模板函數：

// The function definition looks something like this: 
void SomeFunc(); 
template<typename T1> 
void SomeFunc(const T1& arg1); 
template<typename T1, typename T2> 
void SomeFunc(const T1& arg1, const T2& arg2); 
// etc... 

// And then somehow it would be called. This is just an example. I don't 
// know how to call it in a way that would work with variable number and 
// type of args. 
switch (argCount) 
{ 
case 0: 
    SomeFunc(); 
    break; 
case 1: 
    SomeFunc(arg1); 
    break; 
case 2: 
    SomeFunc(arg1, arg2); 
    break; 
case 3: 
    SomeFunc(arg1, arg2, arg3); 
    break; 
case 4: 
    SomeFunc(arg1, arg2, arg3, arg4); 
    break; 
case 5: 
    SomeFunc(arg1, arg2, arg3, arg4, arg5); 
    break; 
} 

你將如何實現這一目標？以某種可以傳遞給模板函數的方式存儲參數，以便它知道每個參數的類型似乎不可能，但我覺得我只是沒有想到什麼。

我也不能改變這個接口。這是我必須處理的第三方功能。所以無論它如何實施，最終都必須經過SomeFunc()。

重要提示：我在Visual Studio 2012中這樣做，所以我對新的C++功能有限制。它可以做一點C++ 11，但就是這樣。試圖將項目升級到更新的版本，但現在這是我必須處理的。

Answer 1

using basic_type = std::variant<int, float, bool, std::string>; 

using flat_arguments = std::vector<basic_type>; 

template<std::size_t...Ns> 
using packed_arguments = std::variant< std::array<basic_type, Ns>... >; 

template<class T, std::size_t...Ns> 
std::array<T, sizeof...(Ns)> pack_one(std::vector<T> n, std::index_sequence<Ns...>) { 
    return {{ std::move(n[Ns])... }}; 
} 

template<class T, std::size_t...Ns> 
std::optional<std::variant< std::array<T, Ns>... >> 
pack_all(std::vector<T> n, std::index_sequence<Ns...>) { 
    std::optional<std::variant< std::array<T, Ns>... >> retval; 
    if (n.size() >= sizeof...(Ns)) { return retval; } 
    (
    (
     (n.size()==Ns)? 
     void(retval.emplace(pack_one(std::move(n), std::make_index_sequence<Ns>{}): 
     void() 
    ),... 
); 
    return retval; 
} 

flat_arguments get_arguments(int argc, char const* const*argv); // write this 

auto invoke_somefunc = [](auto&&...args){ 
    return SomeFunc(decltype(args)(args)...); 
}; 

int main(int argc, char const*const* argv) { 
    auto args = get_arguments(argc, argv); 
    auto args_packed = pack_all(std::move(args), std::make_index_sequence<9>{}); 
    if (!args_packed) return -1; 
    std::visit([](auto&& args){ 
    std::apply([](auto&&...args){ 
     std::visit(invoke_somefunc, args...); 
    }, args); 
    }, args_packed); 
} 

應該這樣做。可能包含錯別字。 c++17。

boost有相同的類型（variant和optional），可以取代上面的std使用，並做了一些調整。

摺疊包擴展可以用c++11或更高版本中的展開式擴展替換。