empty"<>"是什么意思?在模板使用?

时间:2014-09-12 09:10:03

标签: c++ templates

以下代码中tokenizer<> tok(s)行的含义是什么?我知道&lt;&gt;在使用模板时使用,但根据我的理解&lt;&gt;不应该是空的 - 它应该包含类型定义。

    using namespace std;
    using namespace boost;
    string s = "This is, a te\x1Dst";
    cout<<s<<endl;
    tokenizer<> tok(s);
    for(tokenizer<>::iterator beg=tok.begin(); beg!=tok.end();++beg){
        cout << *beg << "\n";
}

3 个答案:

答案 0 :(得分:31)

这只是意味着模板应该使用默认参数。例如:

template <int N = 10>
class X { };

X<> x;  // this is an X<10> 

显然,只有当所有模板参数都有默认值时(或者对于没有强制参数的variadic templates - 才有可能 - 见下文)....

具体来说,对于boost::tokenizer,模板是

template <
    class TokenizerFunc = char_delimiters_separator<char>, 
    class Iterator = std::string::const_iterator,
    class Type = std::string
>
class tokenizer;

与问题正文所关注的tokenizer<> tok&#34; 的&#34;含义无关,而是针对更一般的问题title &#34;模板使用中空“&lt;&gt;”的含义是什么?&#34; ......

正如Shafik首次提到的那样,my_template<>表单也可以与variadic templates std::tuple一起用于指定空parameter pack

// namespace std { template <class ...Args> class tuple; }
std::tuple<> t;  // this tuple can't store anything :-.

答案 1 :(得分:11)

如果您有默认参数或者有参数包,模板参数列表可以为空,draft C++ standard部分14.3 模板中对此进行了介绍参数表示(强调我的):

  

当使用模板参数包或默认模板参数时,a   template-argument list可以为空。在这种情况下,清空&lt;&gt;   括号仍应用作模板参数列表。 [例如:

template<class T = char> class String;
String<>* p; // OK: String<char>
String* q; // syntax error
template<class ... Elements> class Tuple;
Tuple<>* t; // OK: Elements is empty
Tuple* u; // syntax error
     

-end example]

在您的情况下,boost::tokenizer具有以下默认参数:

template <
    class TokenizerFunc = char_delimiters_separator<char>, 
    class Iterator = std::string::const_iterator,
    class Type = std::string >

允许您的具体案例发挥作用。

答案 2 :(得分:6)

这意味着使用默认模板参数。

例如,如果你有一个模板:

template < typename T = int >
struct A;

然后这将为模板参数提供类型int

A<> a;