MSC、GCC、LLVM

ancientcc

虽然MSC和GCC同是C/C++编译器，但怎么说还是存在些差别，要让代码能被MSC和GCC成功编译，在写时就要注意些细节。

定义嵌套STL类型，右侧要用“> >”而不是“>>”
要定义一种类型：std::pair<int, std::pair<size_t, int>>，在最右侧会同时出现两个结束符“>”。使用“>>”，MSC没问题，但GCC会报错。


std::pair中，如果有成员是class或struct，那该成员必须提供没有参数的构造函数
定义std::pair<map_location, unit>，当中map_location和unit不是struct就是class，那么它们都必须提没有参数的构造函数。一旦有一个不存在，MSC没问题，但GCC会报错。

实在不想为unit提供没参数构造函数，那只好使用std::pair<map_location, unit*>定义了。

设置函数参数默认值时，不能使用类似std::vector<size_t>()
声明函数，

1. gui::menu* get_ability_menu(hero_map& heros, std::vector<hero*>& partial_heros = std::vector<hero*>(), int selected = 0, bool checkbox = false, std::vector<size_t>& checked = std::vector<size_t>());

复制代码

以上声明在MSC没问题，但GCC会报错

要解决这个问题，可以先定义空vector变量。

1. std::vector<hero*> empty_vector_hero_ptr = std::vector<hero*>();
   
2. std::vector<size_t> empty_vector_size_t = std::vector<size_t>();
   
3. 把它们作为参数值在函数定义中使用
   
4. gui::menu* get_ability_menu(hero_map& heros, std::vector<hero*>& partial_heros = empty_vector_hero_ptr, int selected = 0, bool checkbox = false, std::vector<size_t>& checked = empty_vector_size_t);

复制代码

在一些场合，不能省略std::string前的const

1. void wml_config_from_file(std::string& fname, config &cfg)

复制代码

以以下方式进行调用：

1. wml_config_from_file(game_config::path + "/xwml/" + BASENAME_DATA, game_config_);

复制代码

对于参数fname，它的值是game_config::path + "/xwml/" + BASENAME_DATA，注：game_config::path是std::string类型。
对以上的声明和调用，MSC没问题，但GCC有问题。——如果把fname声明函数中可变，game_config::path + "/xwml/" + BASENAME_DATA是该如何处理呢？
要解决这问题就是把fname严格定义为const std::string& fname。

不要把源文件编码为Unicode - Codepage 1200
MSC没问题，GCC会报N个错误。源文件包括*.h，*.hpp，*.c，*.cpp，……
作为解决方法，可换为Chinese Simplified (GB2312) - Codepage 936

希望多字节对齐的“char”指针不要使用静态分配
以下定义的变量可能不是4字节对齐的！至少iOS下不是。

1. unsigned char savegame_cache_[CONSTANT_1M];

复制代码

要申请出一块4字节对齐地址给一个unsigned char指针可使用malloc。32位系统下，malloc会确保出来的地址是8字节对齐，而64位下是8字节或16字节对齐。（malloc返回的是void*，它这地址需能满足可转换为“所有”元类型。）

std::make_pair中enum值到int须显示转换

1. std::map<const std::string, int> tags;
   
2. tags.insert(std::make_pair("attack", (int)ATTACK));

复制代码

tags的second是int，当中的“ATTACK”是enum，当要把“ATTACK”作为second加入时须执行显示转换，否则Android下的GCC会报错。

1. jni/../../../src/unit_types.cpp: In function 'void apply_to_tag::fill_tags()':
   
2. jni/../../../src/unit_types.cpp:2160:45: error: no matching function for call to
   
3. 'make_pair(char const [7], apply_to_tag::<anonymous enum>)'
   
4. jni/../../../src/unit_types.cpp:2160:45: note: candidate is:
   
5. c:/movie/android/android-ndk-r8d-windows/android-ndk-r8d/sources/cxx-stl/gnu-lib
   
6. stdc++/4.6/include/bits/stl_pair.h:272:5: note: template<class _T1, class _T2> s
   
7. td::pair<_T1, _T2> std::make_pair(_T1, _T2)

复制代码

要对STL容器使用erase时，不要使用const_iterator
LLVM下（Xcode 4.5.2集成）、GCC，erase std::multimap使用const_iterator编译时会报错，需改为使用iterator。

声明友员时须显示加上类型关键字，像class

1. class default_map_generator : public map_generator
   
2. {
   
3.         ......
   
4.         friend class gui2::tmap_generator;
   
5.         ......
   
6. }

复制代码

如果不在gui2::tmap_generator前加上“class”，MSC、LLVM不会报错，但GCC会报以下错误。


for中删除std::map元素时不要使用it = std::map.erase(it)
MSC支持for中it = std::map.erase，GCC的则可能不支持。

1. for (std::map<...>::iterator it = m.begin(); it != m.end(); ) {
   
2.         it = m.erase(it);
   
3. }

复制代码

以上代码会有平台问题，应使用下面格式。

1. for (std::map<...>::iterator it = m.begin(); it != m.end(); ) {
   
2.         m.erase(it ++);
   
3. }

复制代码

其它容器，像std::vector，则两种都支持，而且网上有说“m.erase(it ++)”才是STL推荐使用的格式。但我实测下来，当是std::vector时，在vc2008下，m.erase(it ++)会出怪现象，就是一旦m.erase(it ++)后则一定会满足“it == m.end()”，导致程序达不到自个要求。

• 对非自动排序容器，像std::vector：使用it = m.erase(it)
• 对自动排序容器，像std::set、std::map：使用m.erase(it ++)
  

std::string中的back、pop_back方法
MSC使用的STL支持std::string::back获得最后一个字符，pop_back移除最后一个字符，但这两个方法，至少GCC经常使用的gnu_stl是都不支持。

尽量不要用snprintf
MSC的各版本对snprintf经常存在不一致。像vs2013使用_snprintf，到vs2015就用函数实现了snprintf。

含有对象的std::vector，不要在迭代中改变值

1. struct titem {
   
2.         std::string s;
   
3. };

复制代码

titem是个含有std::string对象的结构，变量items是以它为单元构建的std::vector，不要用类似以下的迭代改变值。

1. for (std::vector<titem>::iterator it = items.begin(); it != items.end(); ++ it) {
   
2.         it.s = "hello";
   
3. }

复制代码

原因是当改变对象值时，有可能会造成STL对items重分配内存。基于同样原因，重分配会影响到指向各单元的指针，因此尽量不要使用指向std::vector的某个单元的指针。

1. titem* ptr = &items[2];

复制代码

当items内容发生改变时，ptr有可能变得指向一个错误地址。

用{}格式初始化struct时，float到int要进行显示转换

1. struct SDL_Point {
   
2.         int x, y;
   
3. };
   
4. float pi = 3.14;
   
5. SDL_Point point{0, y * pi};

复制代码

给point赋值的语句用了{}格式，LLVM会报类似下错误。

修正方法是强制类型转换。

1. SDL_Point point = {0, (int)(y * pi)};

复制代码

int被强制转到size_t，如何由size_t转回int？

1. int val = (long)(val);

复制代码

64位平台时size_t是64位，32位平台时size_t是32位，而long的位置和size_t是一致的，int却总是32位。

如何把一整数设为特定类型
使用INT64_C、UINT64_C、INT32_C、UINT32_C宏，它们定义在stdint.h。

1. 定义1为int64_t类型
   
2. INT64_C(1)

复制代码

printf如何输出64位整数

1. printf("%lld/n",a);
   
2. printf("%llu/n",a);

复制代码

它们可同时用于Windows。

std::string是空时，c_str()是否会返回NULL/nullptr
切记不要把nullptr直接赋给std::string！

1. std::string s = nullptr;
   
2. std::string s = NULL;
   
3. 在windows，以上赋值就会造成app异常退出，其它操作系统未测试。

复制代码

std::string是空时，Windows、Android时不会。iOS未测试。即使nullptr时，"%s"打印时不会非法，而是显示"(null)"

1. std::string str;
   
2. SDL_Log("s1 c_str %s", str.c_str() != nullptr? "isn't null": "is null");
   
3. SDL_Log("s1 c_str: %p, %s", str.c_str(), str.c_str());
   
4. str = "abc";
   
5. SDL_Log("s2 c_str %s", str.c_str() != nullptr? "isn't null": "is null");
   
6. SDL_Log("s2 c_str: %p, %s", str.c_str(), str.c_str());
   
7. str.clear();
   
8. SDL_Log("s3 c_str %s", str.c_str() != nullptr? "isn't null": "is null");
   
9. SDL_Log("s3 c_str: %p, %s", str.c_str(), str.c_str());
   
10. const char* ptr = nullptr;
    
11. SDL_Log("s4 ptr: %p, %s", ptr, ptr);
    
12. ptr = "123";
    
13. SDL_Log("s4 ptr: %p, %s", ptr, ptr);
    
14. -------输出
    
15. s1 c_str isn't null
    
16. s1 c_str: 0x9ebff581,
    
17. s2 c_str isn't null
    
18. s2 c_str: 0x9ebff581, abc
    
19. s3 c_str isn't null
    
20. s3 c_str: 0x9ebff581,
    
21. s4 ptr: 0, (null)
    
22. s4 ptr: 110cf4c, 123

复制代码

多线程时需要同步写int变量
多线程时，如果可能同时写某个int变量，须要给这变量采取同步措施。举个例子，线程A对变量a先后执行a++、a--，线程B也先后执行a++、a--，那也会造成a出现错误结果。
同步措施像加互斥锁，对int/long变量，还有一种方法是使用操作系统提供的api，像winapi中的InterlockedIncrement、InterlockedDecrement，对包含了webrtc的，可使用当中的跨平台函数rtc::AtomicOps::Increment、rtc::AtomicOps:ecrement。

ancientcc

1. class tfilter_
   
2. {
   
3.         ......
   
4.         virtual void update_to_special();
   
5.         ......
   
6. };
   
7. 
   
8. class tfilter : public tfilter_
   
9. {
   
10.         ......
    
11.         tfilter(const tfilter& that);
    
12.         tfilter& operator=(const tfilter& that);
    
13. 
    
14.         void update_to_special();
    
15.         ......
    
16. };
    
17. tfilter filter;

复制代码

tfilter是tfilter_的派生类，并重载了成员函数“update_to_special()”，“operator=”操作。

要求：当派生类重载了基类一函数时，派类生如何直接调用基类函数

1. filter.tfilter_::from_ui_special();

复制代码

要求：重载的“operator=”操作中如何给基类成员赋值

1. tfilter& tfilter::operator=(const tfilter& that)
   
2. {
   
3.         tfilter_::operator=(that);
   
4.         ......
   
5. }

复制代码

何时会调用“复制型构造函数”、“operator=”操作
在一些地方，“复制型构造函数”和“operator=”是能替换对方，但为安全，须同时实现这两个函数

1. std::vector<tfilter> filters;

复制代码

复制型构造函数
当要把一个非“空”tfilter对象赋给一个不存在的tfilter对像时。

1. std::vector<tfilter> filters;
   
2. filters.push_back(filter1);

复制代码

filter1是个非空tfilter对象，push_back会向filters新增一个单元，这时会调用tfilter的“复制型构造函数”。

“operator=”操作
当要把一个非“空”tfilter对象赋给已存在的tfilter对象时。

1. std::vector<tfilter> filters;
   
2. filters.erase(filters.begin());

复制代码

filters中有多个单元，当第一个被析构后，余下的就会被调用tfilter的“operator=”操作。

ancientcc

C++引入类，当遇到内存紧张时程序员会想法降低内存消耗。这时可能会想到去优化那些单元是class的数组变量，把class换成传统C中的struct，成员函数则提取出来变成全局函数。——以上优化依据是认为编译器处理class成员函数是每个对象一个复制，试图减少成员函数占用内存。

这种认识是错误的，类成员函数不会占用数据区内存。以下是实验（基于visutal studio .net 2008）。

1. class node
   
2. {
   
3.         int movement_left, move_cost, turns_left;
   
4.         map_location prev, curr;
   
5.         unsigned in;
   
6. 
   
7.         node(int moves, int cost, int turns, const map_location &p, const map_location &c) {...}
   
8.         node() {...}
   
9.         bool operator<(const node& o) const { ... }
   
10. };
    
11. node n, n2[2];

复制代码

node是一个类，sizeof(n)值是32，sizeof(n2)值是64。prev、curr各占8字节，movement_left、move_cost、turns_left、int各占4字节，因而总合是32字节。由此已经可以看出三个成员函数没有产生内存。

为进一步验证结论，让给这个类增加成员变量、成员函数，看sizeof(n)、sizeof(n2)返回值。

	sizeof(n)	sizeof(n2)
增加一个int成员变量	36	72
增加一个空函数（注1）	32	64
增加一个非空函数	32	64
增加两个函数	32	64
增加一个静态函数	32	64

注1：空函数指的是存在执行体，但执行体是空的函数。

---

• 类中成员函数不会占用类在数据区内存。猜想：类中函数被放在代码区，全系统只存在一份。
• 类对象占用内存不多于传统C中的struct变量。
• 一个程序被操作系统运行时，它占用内存分代码区、数据区；类成员函数被放在代码区，类成员变量被放在数据区。