手机版
你好,游客 登录 注册 搜索
背景:
阅读新闻

C++ 模板参数个人理解

[日期:2018-01-29] 来源:Linux社区  作者:men_wen [字体: ]

C++ 模板参数个人理解

1. 模板参数

C++模板的使用一共有以下几种情况。

  • 函数模板
  • 类模板
  • 模板参数
  • 成员模板

而本篇介绍模板参数

模板参数就是模板的参数,我们一般指定为T类型,实际上可以使用任何的名字,例如指定一个Foo的模板参数:

temlate<typename Foo>
Foo calc(const Foo& a, const Foo& b)
{
    return a+b;
}

而模板模板参数则是模板的参数又是一个模板,例如:

template<typename T, template<typename U> typename Container>
class XCls
{
    private:
        Container<T> c;
};

模板的第一个参数是T类型,第二个参数是一个Container,他是一个可以指定一个U类型的变量。

那么如何使用他呢?

template<typename T>
class test
{
    private:
        T t;
};

int main(void)
{
    XCls<std::string, test> mylst1;

    return 0;
}

我们可以定义一个模板类,然后将其如上方式传入就可以了。

但是如果传入一个容器呢?比如:list

XCls<string, list> mylst1;

如果编译就会报错。我们分析一波:

string 和 list传入到类XCls中,然后就会定义一个list<string>c变量,这样看起来是可以的,因此我们使用list容器的时候就是list<一个类型>,但是这里为什么就不行呢?是因为list容器实质上是有第二参数的,虽然第二参数有默认的参数,正如我们平常使用的那样,只需要指定一个参数,但是在这里无法通过编译,因此,我们使用如下解决办法:

template<typename T>
using Lst = std::list<T, std::allocator<T>>;

XCls<std::string, Lst> mylst2;
// 编译时需要加上std=c++11

使用C++11using关键字的新功能,来定义一个类型的别名,而且使用在模板的情况下,因此我们编译时要指定std=c++11

然后我们将list的别名Lst传入进入,就可以编译通过。

2. 这不是模板参数

如果是这么定义的模板参数,还会是模板参数吗?

template<typename T, typename Sequence = list<T>>
class stack
{
    private:
        Sequence c;
};

我们定义了一个stack的模板类,模板参数第一个是T类型,第二个是一个Sequence类型,有一个默认的类型是list<T>

使用方法有两种:

stack<int> s1;
stack<int, deque<int>> s2;

第一种,只指定了第一个模板参数,使用第二个默认的模板参数。

第二种,指定了两个模板参数。

但是!这不是模板参数。因为,一旦指定了第一个模板参数,那么第二个参数的类型就会确定,而真正的模板参数,第二个模板参数和第一个模板参数的类型是没有关系的,可以指定为第一个模板参数的类型,也可以指定为其他类型。因此,这不是模板参数!!!

以上都是本人自己的理解,如有错误,请谅解并恳请您的指正。

本文永久更新链接地址http://www.chineselinuxuniversity.net/Linux/2018-01/150639.htm

linux
相关资讯       C++ 模板参数 
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数

       

评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款