3

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

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++ 中编译得很好，所以我假设只是一个编译器错误，并且持续的发现仍然只指向这一点，除了显式地将它们一一扩展之外，是否有任何可能的解决方法？

编辑： 这已作为错误报告给编译器团队，补丁将在编译器的下一个版本中发布。[关联]

4

2 回答 2

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);
于 2012-12-02T23:04:15.120 回答
0

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

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

我猜重用名称 P 不会很有用。

于 2013-02-27T21:00:38.887 回答