Question

我正在使用C ++ 03（真的是CUDA nvcc，但这没关系）。我有以下工作代码：

template<typename T> void baz(T*);

template<typename T>
void bar() {
    typedef void (*foo_t)(T*);
    static const foo_t dummy = baz;
    // use dummy
};

现在，我想将虚拟变量移出函数，使其成为全局变量。

首次尝试：

template<typename T> void baz(T*);
template<typename T> typedef void (*foo_t)(T*);
template<typename T> const foo_t dummy = baz;

template<typename T>
void bar() {
    // use dummy
};

这不起作用，因为C ++（至少C ++ 03）没有模板化的typedef：

error: "typedef" may not be specified here

error: "foo_t" is not a function or static data member

为什么C ++ 03没有这个？甘拜下风。如果我可以在一个函数中执行它，我不明白为什么我也不能在外面执行它。我认为C ++ 11也没有（但是有模板using，对吗？）

好的，所以我读了Template typedefs - What's your work around?，然后使用帮助类来寻找接受的答案。

第二次尝试：

template<typename T> void baz(T*);
template<typename T> class TemplatingHeler {
  typedef void (*foo_t)(T*);
  static const foo_t dummy = baz;
}

...这得到：

error: a member of type "void (*const)(T *)" cannot have an in-class initializer

第三次尝试：

template<typename T> void baz(T*);
template<typename T> class TemplatingHelper {
  typedef void (*foo_t)(T*);
  static foo_t dummy;
};
template<typename T> TemplatingHelper::dummy = baz;

error: name followed by "::" must be a class or namespace name

error: argument list for class template "TemplatingHelper" is missing

...和nvcc segfaults（！）

为什么会发生这一切，我怎样才能让它发挥作用？

Answer 1

在修复错误后，您的第三次尝试应该有效;）

template<typename T> void baz(T*);
template<typename T> class TemplatingHelper {
  typedef void (*foo_t)(T*);
  static foo_t dummy;
};

template<typename T>                   // template-declaration
typename TemplatingHelper<T>::foo_t    // type
TemplatingHelper<T>::dummy             // name
= baz;                                 // initializer

我同意这是多余的，但它遵循一般的声明形式：

type name initializer ;

即使已经声明了名称并在类模板中给出了一个类型。

在这种情况下，它是一个模板声明，所以我们需要添加template<typename T>部分;这是必需的，因为我们也可以参考部分专业化：

template<typename T, typename U> class TemplatingHelper<T(*)(U)>
{
    typedef T(*foo_t)(U);
    static foo_t dummy;
};

template<typename T, typename U>
typename TemplatingHelper<T(*)(U)>::foo_t
TemplatingHelper<T(*)(U)>::dummy
= baz;

由于类型是必需的并且在声明的名称之前，我们需要明确说明范围在哪里找到它：

TemplatingHelper<T>::foo_t

不幸的是，名称查找需要在此限定名称之前加上typename。见Where and why do I have to put the “template” and “typename” keywords?

模板化的typedef解决方法似乎不起作用

1 个答案: