C可变参数模板：无法匹配函数

Question

以下是我的代码:< br >

#include <iostream>
#include "Generator.h" // user-defined class

char getChar(Generator & generator)
{
    return generator.generateChar();
}

char getChar(int pos, const string & s)
{
    return s[pos];
}

template<typename... StringType>
void func(Generator & generator, StringType &&... str)
{
    char ch;
    int size = sizeof...(StringType);
    // lots of things to do
    if (size == 0)
    {
        ch = getChar(generator);
    }
    else
    {
        ch = getChar(1, std::forward<StringType>(str)...); // ERROR here
    }
}

int main(int argc, char ** argv)
{
    Generator generator;

    func(generator);
    func(generator, "abc");

    return 0;
}

一开始我只是重载了函数func，发现有很多类似的代码。所以我正在考虑使用可变参数模板来获得更好的设计。（如果两个重载函数相似，如何做出更好的设计）

但是我不知道为什么会有错误:< br >

main.cpp:27： 8：错误：没有匹配函数调用'getChar'ch=getChar（1， std::forward（str）...）；

主要的cpp:37:2：注意：在函数模板专门化'func'的实例化中

main.cpp:6:6:注意:候选函数不可行:没有从“int”到“Generator”的已知转换

main.cpp:11:6:注意:候选函数不可行:需要2个参数，但提供了1个char getChar(int pos，const string

顺便问一句，我可以做一些设计来避免使用＜code＞if…else…？

Answer 1

当模板展开时，整个模板代码将完整地展开和编译。

让我们看看这里发生了什么：

func(generator);

在生成的模板生成的函数中，size 将为 0，生成的函数变为：

if (0 == 0)
{
    ch = getChar(generator);
}
else
{
    ch = getChar(1);
}

编译错误变得非常明显：getchar（1）与getChar（）的任何重载实例都不匹配。if语句将始终求值为true，而else部分将永远不会执行这一事实并不重要。else部分必须仍然是有效的C代码，可以编译，并且只有在编译之后才能优化（可能）。并且它不能被编译，因此编译错误。

现在这回答了你的问题“我不知道为什么会有错误”。现在你知道了。如何解决这个问题是一个不同的问题，根据具体情况，答案是模板专门化和/或SFINAE的某种组合。

看起来问题中的示例是一个缩写示例（因为很明显，如果参数包具有两个或多个参数，则模板函数将永远不会起作用）。这很好（并且100%符合显示最小，完整，可验证的示例的精神），但是提出所示代码的替代可编译版本可能不会回答您的真正问题。