1. emplace返回值
对于顺序容器，例如 vector，使用 emplace() 插入元素，其函数返回值是指向被安置元素的迭代器。
而对关联容器，例如 map，使用 emplace()，其返回值则是一个 std::pair<iterator,bool>。如果插入成功，iterator 指向被插入元素，bool 为 true；反之，iterator 指向既存元素，bool 为 false。
因此，当我们需要将关联容器的插入是否成功作为函数返回值时，可直接使用 std::pair 中的 bool 对象返回，例如：
bool function()
{
//...
// std::map<int, std::string> m_map;
return m_map.emplace(99, "CC").second;
}
2. 折叠表达式
C++ 17 中将变长参数这种特性进一步带给了表达式，例如：
#include <iostream>
template<typename ... T>
auto sum(T ... t) {
return (t + ...);
}
int main() {
std::cout << sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) << std::endl;
}
此代码运行结果是55，这很好理解，即将变长参数依次累加求和。
那如果上文代码中的 return (t + ...);，修改为 return (t - ...); 那结果又是多少呢？是-53吗？
正确的结果是-5，这是怎么算的呢？这里涉及的一元折叠表达式，分别是：
一元左折叠
(... op args)
展开: ((arg1 op arg2) op arg3) op ...
一元右折叠
(args op ...)
展开: arg1 op (arg2 op ... (argN-1 op argN))
因此，两种折叠对于减运算符的展开如下
template<typename ... T>
auto func1(T ... t) {
return (t - ...);
}
template<typename ... T>
auto func2(T ... t) {
return (... - t);
}
int main()
{
std::cout << func1(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) << std::endl;
// -5 ==> 1 - (2 - (3 - (4 - (5 - (6 - (7 - (8 - (9 - 10))))))))
std::cout << func2(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) << std::endl;
// -53 ==> ((((((((1 - 2) - 3) - 4) - 5) - 6) - 7) - 8) - 9) - 10
return 0;
}
此外，还有二元折叠表达式，如下：
二元左折叠
(value op ... op args)
展开: (((value op arg1) op arg2) op arg3) op ...
二元右折叠
(args op ... op value)
展开: arg1 op (arg2 op (arg3 op ... (argN opvalue)))
3. 返回map中value的指针
当我们使用基于范围的 for 循环来遍历，返回 map 中元素的指针时，一定要使用引用类型。如下：
data* GetData(int num) {
for (auto i : m_data) {
if (i.first == num) {
return &(i.second);
}
}
return nullptr;
}
函数中没有使用引用类型来遍历，因此，i 是一个复制的对象，而不是指向实际 m_data 中元素的引用。当离开函数作用域，最终返回的是一个指向无效内存的指针。
正确的代码片段应该如下：
for (auto& i : m_data) {
if (i.first == num) {
return &(i.second);
}
}
GitHub Blog 同步更新
