4

这看起来应该很简单，但我一直在玩，还没有找到我正在寻找的解决方案，所以这里是：

我有以下结构（当然为了说明目的而简化）：

template<typename T>
struct test
    {
    using L = std::list<T>;
    L::iterator a;
    };

现在，这会引发错误：

error: need 'typename' before 'test<T>::K::iterator' because 'test<T>::K' is a dependent scope

到目前为止，我发现的两种修复方法都不太理想：

1)在使用 L 之前添加 typename：

template<typename T>
struct test
    {
    using L = std::list<T>;
    typename L::iterator a;
    };

如果可能的话，我宁愿避免这种额外的冗长。

2）添加另一个 using 语句以直接针对迭代器：

template<typename T>
struct test
    {
    using L = std::list<T>;
    using iter = typename L::iterator;
    iter a;
    };

但这需要对我想使用的每个迭代器都做同样的事情，如果我还希望访问const_iteratoretc 等，我宁愿不必定义一堆 using 语句。

那么，有没有办法编写 using 语句，然后允许我编写：

 L::iterator a;
 L::const_iterator b;
 ...

谢谢！

4

2 回答 2

14

typename必须在那里，但您可以使用几个别名模板iter实用程序来避免每次都定义新类型：

template<typename C>
using Iterator = typename C::iterator;

template<typename C>
using ConstIterator = typename C::const_iterator;

template<typename T>
struct test
{
    using L = std::list<T>;
    Iterator<L> i;
    ConstIterator<L> ci;
};
于 2013-04-13T15:31:29.433 回答
2

不，没有。所有依赖类型必须以 开头typename，或通过以 开头typename。

list_iter<T> using现在，您可以在某处创建声明：

template<typename T>
using list_iter = typename std::list<T>::iterator;

甚至是元迭代 using 语句：

template<template<typename>class container, typename T>
using iter = typename container<T>::iterator;
template<template<typename>class container, typename T>
using const_iter = typename container<T>::const_iterator;

这会让你做：

struct test {
  using L = std::list<T>;
  iter<std::list,T> a;
};

我typename在. using_struct

顺便说一句，99% 的时间std::list是错误的容器。

于 2013-04-13T15:28:30.587 回答