c++ - Variadic 模板模拟 "runtime"扩展

Question

我有一个函数，我正在尝试将其转换为使用可变参数模板。不幸的是，在编译期间尝试对函数进行强类型化时，模板扩展会导致问题。

这是旧代码:

std::unique_ptr<std::stringstream> Execute(CommandType command, ...) {
    auto resp = std::make_unique<std::stringstream>();

    va_list vl;
    va_start(vl, command);

    switch(command) {
    case CommandType::Post:
        *resp << Post(va_arg(vl, char *), va_arg(vl, char *));
        break;
    case CommandType::Get:
        *resp << Get(va_arg(vl, char *));
        break;
    case CommandType::Delete:
        *resp << Delete(va_arg(vl, char *), va_arg(vl, char *));
        break;
    }
    va_end(vl);
    return resp;
}

以及对应的函数:

bool Post(char *command, char *payload);
char *Get(char *command);
bool Delete(char *command, char *name);

理想情况下，我希望能够将其转换为类似以下内容的内容:

template< typename... Params>
std::unique_ptr<stringstream> Execute(CommandType command, Params... parameters) {
    auto response = std::make_unique<stringstream>();
    if(command == CommandType::Get)
        response << Get(parameters);
    else if(command == CommandType::Post)
        response << Post(parameters);
    else if(command == CommandType::Delete)
        response << Delete(parameters);
    else if(command == CommandType::OtherFunc)
        response << OtherFunc(parameters);

    return response;
};

bool Post(std::string command, std::string payload);
std:string Get(std::string command);
bool Delete(std::string command, std::string name);
int OtherFunc(std::string command, bool enabled, MyClass name);

• OtherFunc 添加到此处用于更复杂的类型示例。

但显然这行不通，因为编译器认为每个命令都应该将参数传递给模板，而实际上只有一个基于 CommandType 的命令应该接收参数。

有什么技巧可以使用模板重写它并保持强类型，或者我是否必须使用 var args 和指针来保留它？

Answer 1

您可以添加虚拟函数，例如:

template<typename ... Ts>
typename std::enable_if<sizeof...(Ts) != 2, int>::type
Post (Ts&&...) {return 0;}

template<typename ... Ts>
typename std::enable_if<sizeof...(Ts) != 2, int>::type
Delete (Ts&&...) {return 0;}

template<typename ... Ts>
typename std::enable_if<sizeof...(Ts) != 3, int>::type
OtherFunc (Ts&&...) {return 0;}

SFINAE 实际上更复杂(并且应该使用 std::is_convertible)，目的是避免在不使用精确类型但使用可转换类型时使用模板函数。

Live example

为了更完整，带有 std::is_convertible 的额外版本

template<typename T>
typename std::enable_if<!std::is_convertible<T, std::string>::value, int>::type
Get (T&&...) {return 0;}

template<typename T1, typename T2>
typename std::enable_if<!std::is_convertible<T1, std::string>::value
    || !std::is_convertible<T2, std::string>::value,
    int>::type
Post (T1&&, T2&&) {return 0;}

template<typename T1, typename T2>
typename std::enable_if<!std::is_convertible<T1, std::string>::value
    || !std::is_convertible<T2, std::string>::value,
    int>::type
Delete (T1&&, T2&&) {return 0;}

Live example (请注意，我更改了 OtherFunc 以在没有额外内容的情况下产生错误)。