C++使用泛型导致的膨胀问题

更新时间：2021年11月12日 10:56:39 作者：临峰不畏

这篇文章主要介绍了C++使用泛型导致的膨胀，智能家居主机的嵌入式平台上使用C++进行开发。FLASH存储空间有限，这是必须要考虑的因素，一定要重视，下面我们一起进入文章看看详细内容

//! code-1
struct list_int_item {
    int value;
    struct list_int_item *next;
};

struct list_int {
    struct list_int_item *head;
    size_t size;
};

void list_int_insert(struct list_int *p, int value);
int  list_int_sort(struct list_int *p);
bool list_int_empty(struct list_int *p);
...
下面是list<string>的C语言实现方式：
//! code-2
struct list_string_item {
    string value;
    struct list_string_item *next;
};

struct list_string {
    struct list_string_item *head;
    size_t size;
};

void list_string_insert(struct list_int *p, string value);
int  list_string_sort(struct list_int *p);
bool list_string_empty(struct list_int *p);
...

两者之间就是类型的差别。所以很多时间，在C语言中我们就用宏来替代它的类型，

如下：

//! code-3
#define LIST_DECLARE(TYPE) \
    struct list_##TYPE##_item { \
        TYPE## value; \
        struct list_##TYPE##_item *next; \
    }; \
    \
    struct list_##TYPE { \
        struct list_##TYPE##_item *head; \
        size_t size; \
    }; \
    \
    void list_##TYPE##_insert(struct list_##TYPE *p, ##TYPE## value); \
    int  list_##TYPE##_sort(struct list_##TYPE *p); \
    bool list_##TYPE##_empty(struct list_##TYPE *p); \
    ...

然后在头文件中是这样定义list<double>的：

//! code-4

LIST_DECLARE(double)

所以，泛型产生冗余代码是无法避免的，至少用C来做这样的泛型也是无法避免的。
既然无法避免的，那就看看怎么尽可能以避免上述的问题。在《Effective C++》中有一章节专门提到：不要在模板中使用不必要的参数。因为每一个不同的参数编译器都会为之生成一套相应的代码。
如果代码中只有一种数据类型，就算用该类型定义了多个变量，编译器是不是只会生成一套相关的代码？（应该是这样的）。

写个例子对比一下：（省略不必要的代码）

test1.cpp ，里面只有map<int, string>，但定义了m1, m2, m3。

//! code-5

    map<int, string> m1;
    map<int, string> m2;
    map<int, string> m3;

    m1.insert(std::make_pair(1, "hello"));
    m2.insert(std::make_pair(1, "hi"));
    m3.insert(std::make_pair(1, "lichunjun"));

test2.cpp ，与test1.cpp相比，里面有三个类型：

//! code-6

    map<int, string> m1;
    map<int, double> m2;
    map<int, int> m3;

    m1.insert(std::make_pair(1, "hello"));
    m2.insert(std::make_pair(1, 1.2));
    m3.insert(std::make_pair(1, 44));

结果，编译出来的可执行文件大小比较：

[hevake_lcj@Hevake tmp]$ ll test1 test2
-rwxrwxr-x. 1 18784 Mar 19 22:01 test1
-rwxrwxr-x. 1 35184 Mar 19 22:03 test2

test2比test1大一倍，原因不用多说。

还有一个问题：指针是不是被认为是一个类型？
上面的list<int>与list<string>不能共用同一套代码，根据的原因是因为int与string这两种类型在空间大小与赋值的方式上都是不同的。所以，必须生成两套代码来实现。
而指针，不管是什么指针，它们都是一样的。我们可以用void*代表所有的指针类型。

于是我们将上面的代码改改，再测试一下：

//! code-7

    map<int, string*> m1;
    map<int, string*> m2;
    map<int, string*> m3;

    m1.insert(std::make_pair(1, new string("hello")));
    m2.insert(std::make_pair(1, new string("hi")));
    m3.insert(std::make_pair(1, new string("lichunjun")));

//! code-8

    map<int, string*> m1;
    map<int, double*> m2;
    map<int, int*> m3;

    m1.insert(std::make_pair(1, new string("hello")));
    m2.insert(std::make_pair(1, new double(1.2)));
    m3.insert(std::make_pair(1, new int(44)));

结果是这样的：

-rwxrwxr-x. 1 18736 Mar 19 23:05 test1
-rwxrwxr-x. 1 35136 Mar 19 23:05 test2

预期的结果test1与test2相差不多，但从结果上看并没有什么优化，结果有点令人失望～

思考：C++有没有什么参数可以优化这个？

如果没有，为了节省空间，我们只能将所有的指针统一定义成void*类型了，在使用时再强制转换。

  //! code-9
    map<int, void*> m1;
    map<int, void*> m2;
    map<int, void*> m3;

    m1.insert(std::make_pair(1, new string("hello")));
    m2.insert(std::make_pair(1, new double(1.2)));
    m3.insert(std::make_pair(1, new int(44)));

    cout << *static_cast<string*>(m1[1]) << endl;
    cout << *static_cast<double*>(m2[1]) << endl;
    cout << *static_cast<int*>(m3[1]) << endl;

如上代码是将code-8的基础上，将所有的指定都定义成了void* ，在使用的时候用static_cast进行强制转换成对应的指针类型。
如此得到的代码大小与code-7的比较，只多了16个字节。
但这种做法是很不可取的，必须用void*指针之后，编译器不再对类型进行检查，很容易把类型搞混淆。

最好还是编译器支持指针泛型的优化吧！

到此这篇关于C++使用泛型导致的膨胀问题的文章就介绍到这了,更多相关C++使用泛型导致的膨胀问题内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

stl容器set,map,vector之erase用法与返回值详细解析
在使用 list、set 或 map遍历删除某些元素时可以这样使用,如下所示
2013-09-09
C语言实现将double/float 转为字符串(带自定义精度)
这篇文章主要介绍了C语言实现将double/float 转为字符串(带自定义精度)，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
2021-12-12
C/C++中memset,memcpy的使用及fill对数组的操作
这篇文章主要介绍了C/C++中memset,memcpy的使用及fill对数组的操作，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
2020-12-12
C语言实现贪吃蛇超详细教程
本文详细讲解了C语言实现贪吃蛇的方法，文中通过示例代码介绍的非常详细。对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
2021-12-12
C++日志库log4cplus的使用详解
C++实现的log4cplus日志库是一种易于使用的C ++日志记录API，可提供线程安全，灵活且任意粒度的日志管理和配置控制。这篇文章就来和大家讲讲log4cplus的使用吧
2023-03-03
C++ 中的Swap函数写法汇总
这篇文章主要介绍了C++ 中的Swap函数写法汇总,本文通过实例代码给大家介绍的非常详细，具有一定的参考借鉴价值，需要的朋友可以参考下
2020-02-02
详解C++中StringBuilder类的实现及其性能优化
在Java和C#中,StringBuilder可以创造可变字符序列来动态地扩充字符串,那么在C++中我们同样也可以实现一个StringBuilder并且用来提升性能,下面就来详解C++中StringBuilder类的实现及其性能优化
2016-05-05
C++扫雷游戏的简单制作
这篇文章主要为大家详细介绍了C++扫雷游戏的简单制作，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2020-03-03
C/C++实现矩阵的转置(示例代码)
C/C++实现矩阵的转置(示例代码)需要的朋友可以过来参考下，希望对大家有所帮助
2013-10-10
Lambda表达式里面修改外部变量问题
这篇文章主要介绍了Lambda表达式里面修改外部变量的相关知识，本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
2020-03-03