如何在C++中使用模板通过`using`创建别名（创建参数化的别名）？

Question

我目前正在阅读Bjarne Stroustrup的《C++程序设计语言》第四版。在书的前几部分，我发现了一个使用using的例子，如下所示：

// Error is in these 2 lines
template<typename T>
using Iterator<T> = typename T::iterator;

*请查看[**]以获取完整程序和错误信息*

这正是我在第105页找到的内容。当我将其转化为完整程序并尝试编译时，g++ 给了我以下错误信息：

> g++ -std=c++14 -o fnd find_all.cpp
find_all.cpp:13:15: error: expected '=' before '<' token
 using Iterator<T> = typename T::iterator;
           ^
find_all.cpp:13:15: error: expected type-specifier before '<' token

我无法在这段代码中找到任何问题，（我是C++的新手，凭借我的有限知识，我找不到问题）（更令人困惑的是，我在Bjarne的书上发现了这个问题）

请问有人能告诉我为什么这段代码会出错吗？

注意：如果我用typename C::iterator替换Iterator<C>（见下文），它就可以正常工作，没有错误！

[**]完整程序和错误信息：

// Error is in these 2 lines
template<typename T>
using Iterator<T> = typename T::iterator;
// -------------------------------------------

// For the completeness I'll include my complete program here
template<typename C, typename V>
vector<Iterator<C>> find_all(C& c, V v) // find all occurrences of v in c
{
    vector<Iterator<C>> res;
    for (auto p = c.begin(); p!=c.end(); ++p)
        if (∗p==v)
            res.push_back(p);
    return res;
}

void test()
{
    string m {"Mary had a little lamb"};
    for (auto p : find_all(m, 'a'))
        if (*p == 'a')
            cerr << "string bug!\n";

    list<double> ld { 1.1, 2.2, 3.3, 4.4, 5.5, 6.6, 1.1, 1.1 };
    for (auto p : find_all(ld, 1.1))
        if (*p == 1.1)
            cerr << "list bug!\n";

    vector<string> strv { "blue", "yellow", "red", "white", "orange", "blue" };
    for (auto p : find_all(strv, "blue"))
        if (*p == "blue")
            cerr << "string vector bug!\n";

}

int main(void) 
{
    test();

    return 0;
}

错误信息：

> g++ -std=c++14 -o fnd find_all.cpp
find_all.cpp:13:15: error: expected '=' before '<' token
 using Iterator<T> = typename T::iterator;
           ^
find_all.cpp:13:15: error: expected type-specifier before '<' token
find_all.cpp:16:8: error: 'Iterator' was not declared in this scope
 vector<Iterator<C>> find_all(C& c, V v)
    ^
find_all.cpp:16:17: error: template argument 1 is invalid
 vector<Iterator<C>> find_all(C& c, V v)
             ^
find_all.cpp:16:17: error: template argument 2 is invalid
find_all.cpp:16:18: error: expected unqualified-id before '>' token
 vector<Iterator<C>> find_all(C& c, V v)
              ^
find_all.cpp: In function 'void test()':
find_all.cpp:30:31: error: 'find_all' was not declared in this scope
  for (auto p : find_all(m, 'a'))
                           ^
find_all.cpp:35:32: error: 'find_all' was not declared in this scope
  for (auto p : find_all(ld, 1.1))
                            ^
find_all.cpp:40:37: error: 'find_all' was not declared in this scope
  for (auto p : find_all(strv, "blue"))

- 0xEDD1E

Answer 1

首先，必须省略<T>

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

- user2807083

---

非常感谢，现在它可以正常工作了。书中似乎有一个打字错误，谢谢。 - 0xEDD1E

Answer 2

当您定义类模板或函数模板时，需要使用以下内容：

template <typename T> struct Foo { };

template <typename T> T bar() { return T{}; }

在定义模板时，不使用 Foo<T> 或 bar<T>。

同样地，当使用模板来定义别名时，需要使用：

template <typename T>
using Iterator = typename T::iterator;
             ^^ Don't include <T>

- R Sahu