boost add_reference 不适用于模板参数

Question

我正在尝试使用类型特征来添加对模板参数的引用。

template < class T >
struct S {
typename add_reference< T >::type reference; // reference member should always be a reference
};
...
typedef Bar< Foo > type;
S< type > s; // does not add reference, S:: reference is of type type, not type&

然而它似乎不起作用。这是正确的做法吗？我的编译器是 g++ 4.3。 谢谢。

澄清：我希望参考成员可以作为参考，无论 S< 是否为参考成员。类型>或S＜类型& >被实例化。

Answer 1

您忘记了 typedef。 typename 只是表示您将使用在模板声明时尚未被称为类型的类型名称。如果您确实想创建 typedef，则实际上还需要该关键字。我认为您在下面使用它时忘记了实际命名类型：

template < class T >
struct S {
  typedef typename add_reference< T >::type reference;
};
...
typedef Bar< Foo > type;
S< type >::reference s = some_foo; // initialize!

记住初始化引用。如果您事先知道 T 永远不是引用（以避免引用到引用问题），您也可以直接执行此操作：

template < class T >
struct S {
  typedef T &reference;
};

typedef Bar< Foo > type;
S< type >::reference s = some_bar_foo; // initialize!

如果您想要做的是创建一个引用数据成员，没有 typedef 的语法是正确的

template < class T >
struct S {
  typename add_reference< T >::type reference;
};
...
typedef Bar< Foo > type;
S< type > s = { some_bar_foo }; // initialize!
s.reference = some_other_bar_foo; // assign "some_other_bar_foo" to "some_bar_foo"

，我不知道你到底想做什么。