工作小结 23.07.13

1. emplace返回值
对于顺序容器,例如 vector,使用 emplace() 插入元素,其函数返回值是指向被安置元素的迭代器。
而对关联容器,例如 map,使用 emplace(),其返回值则是一个 std::pair<iterator,bool>。如果插入成功,iterator 指向被插入元素,booltrue;反之,iterator 指向既存元素,boolfalse
因此,当我们需要将关联容器的插入是否成功作为函数返回值时,可直接使用 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 同步更新

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容