变长参数模版函数初探

最开始在写一个 命令模块， 涉及到 简单命令 和 复合命令。
所有的命令 是通过字符串组装的。
命令的调用是通过注册机制 实现绑定的。
具体的功能封装在对应的 功能类里面。
由于复合命令的存在，会导致一条命令 执行多个处理。
所以希望在 注册的时候，能够直接将多个对象直接保存到一个容器内。
这就会涉及到 不定长参数 保存的 过程。
在这里我才用了变长参数模版。

我先定义一个通用的 key-value 的 变长模版， 用于构造一个容器对象。
指定 当输入类型 为 key-value:string-string时，对应的处理方法。
当然也可以指定其他类型的参数和对应的处理函数。

template<typename... Params>
MapSet Register(string key, string value, Params... params) {
    auto map_set = Register(params...);
    map_set.add(key, value);
    return map_set;
}

设定模版扩展的终止条件

template<typename... Params>
MapSet Register() {
    return MapSet("null");
}

这样 就能把想要的参数保存在对应的容器中。

在使用变长模版函数的过程中，我在想 每个函数都构造一个对象， 会导致接收的时候都调用拷贝构造。
所以我在定义容器的时候，定义了拷贝构造，和右值引用构造，方便查看调用过程。
最开始，我没有实现 右值引用，只是实现拷贝构造

    MapSet(const MapSet& map_set) {
        dictory_ = map_set.dictory_;
        index = AddRef();
        cout << "construct from : const Copy, index ：" << index << endl;
    }
    MapSet(MapSet& map_set) {
        dictory_ = map_set.dictory_;
        index = AddRef();
        cout << "construct from : Copy, index ：" << index << endl;
    }

结果如图：

后来加入 右值引用

    MapSet(MapSet&& map_set) {
        dictory_.swap(map_set.dictory_);
        index = AddRef();
        cout << "construct from : Swap, index ：" << index << endl;
    }
}

结果如图：

发现 没有触发右值引用

再次修改代码

template<typename... Params>
MapSet Register(string key, string value, Params... params) {
    auto map_set = Register(params...);
    map_set.add(key, value);
    return std::move(map_set);
}

结果如图：

现在已经触发了 右值引用， 其中8次构造 发生了 7次交换。
后来朋友告诉我 c++ 有返回值优化，于是 去掉std::move，把debug 编译 换成release 编译 再次尝试。

template<typename... Params>
MapSet Register(string key, string value, Params... params) {
    auto map_set = Register(params...);
    map_set.add(key, value);
    return map_set;
}

结果如图：

这里产生2次构造，其中发生一次交换。

这里不同的编译器优化效果可能不一样，下面使用 blade 编译的

完整代码：

#include <iostream>
#include <string>
#include <map>

using namespace std;

int AddRef() {
    static int ref = 0;
    return ref++;
}

class MapSet{
public:
    MapSet(string info = "") {
        index = AddRef();
        cout << "construct from : " << info << ", index ：" << index << endl;
    }

    MapSet(const MapSet& map_set) {
        dictory_ = map_set.dictory_;
        index = AddRef();
        cout << "construct from : const Copy, index ：" << index << endl;
    }

    MapSet(MapSet& map_set) {
        dictory_ = map_set.dictory_;
        index = AddRef();
        cout << "construct from : Copy, index ：" << index << endl;
    }

    MapSet(MapSet&& map_set) {
        dictory_.swap(map_set.dictory_);
        index = AddRef();
        cout << "construct from : Swap, index ：" << index << endl;
    }

    void add(string key, string value) {
        dictory_.emplace(std::make_pair(key, value));
    }
    void print() {
        cout << "output" << endl;
        for (auto it : dictory_) {
            cout << it.first << " : " << it.second << endl;
        }

    }
private:
    map<string, string> dictory_;
    int index;
};

template<typename... Params>
MapSet Register() {
    return MapSet("null");
}

template<typename... Params>
MapSet Register(string key, string value, Params... params) {
    auto map_set = Register(params...);
    map_set.add(key, value);
    return map_set;
}


int main() {
    Register("a", "a", "b", "b", "c", "c", "d", "d", "e", "e", "f", "f").print();

    getchar();
    return 0;
}