Question

我正在尝试在子方法中扩展类的可变参数模板类型列表：

template<typename... P>
struct Foo
{
    template<P...> // error C3522: 'P' : parameter
                   // pack cannot be expanded in this context
    static void Bar(P... a){}
};

这段代码出了什么问题，或者它只是一个MSVS '12：11月12日的CTP错误？

（是的，我知道此示例中的显式模板特化是多余的。）

以上是我可以重现错误的最简单的情况。完整的代码是：

template<typename FuncSignature>
class Callback;

template<typename R, typename... P>
class Callback<R (P...)>
{
public:

    Callback()                    : func(0), obj(0) {}

    Callback& operator=(const Callback& rhs)
    { obj = rhs.obj; func = rhs.func; return *this; }

private:
    typedef R (*FuncType)(const void*, P...);
    Callback(FuncType f, const void* o) : func(f), obj(o) {}

private:
    FuncType func;
    const void* obj;

    template<typename FR, typename... FP>
    friend class FreeCallbackFactory;
};

template<typename R, typename... P>
class FreeCallbackFactory
{
private:
    template<R (*Func)(P...)>
    static R Wrapper(const void*, P... a)
    {
        return (*Func)(a...);
    }

public:
    template<R (*Func)(P...)>
    inline static Callback<R (P...)> Bind()
    {
        return Callback<R (P...)>
            (&FreeCallbackFactory::Wrapper<Func>, 0);
    }
};
template<typename R, typename... P>
inline FreeCallbackFactory<R, P...>
    GetCallbackFactory(R (*)(P...))
{
    return FreeCallbackFactory<R, P...>();
}

void Test(){}

int main(int argc, char** argv){
Callback<void ()> cb = GetCallbackFactory(&Test).Bind<&Test>()
}

它在g ++中编译得很好所以我假设只是一个编译器错误，并且持续的发现仍然只指向这个，除了明确地将它们逐个扩展之外，还有其他可能的解决方法吗？

修改： This has been reported to the compiler team as a bug and a patch will be in the next release of the compiler. [Link]

Answer 1

代码看起来正确，我怀疑它是否符合您的意图：声明

template <P...>
static void Bar(P... a);

声明一个函数，将P...值作为模板参数和函数参数。也就是说，P的元素必须是允许非类型参数（例如，整数，指针或引用）的类型，并且在调用函数时需要提供它们各自的值作为模板参数。对这样的函数的调用看起来像这样（虽然看起来gcc和clang都不需要传递模板参数）：

Foo<int, int>::Bar<1, 2>(3, 4);

那就是说，根据gcc和clang生成的错误消息，似乎他们不会让你创建成员函数模板的专门化，但我没有在标准中验证这一点。我想，您应该省略模板声明并使用

static void Bar(P... a);

Answer 2

对我而言，代码看起来不正确。包扩展P ...扩展为一组类型。根据您的目标，实现正确的操作是删除template<P...>部分，在这种情况下，每个类模板实例都有一个Bar（）方法，其参数与类相同。另一个是这是一个不相关的参数包，在这种情况下会生成一组无限制的方法，在这种情况下，你必须声明方法如下：

template<typename... U> static void Bar(U...);

重新使用名称P对我来说不是很有用。

在可变参数模板类中使用可变参数的显式特化[MSVC '12：Nov。'12 CTP：错误C3522]

2 个答案: