c++ - 在可变模板类中使用可变参数的显式特化 [MSVS '12: Nov. ' 12 CTP : error C3522]

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: Nov. '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);