在CppCon 2014上,Herb Sutter做了一个演讲,展示了现代C++编程的基本惯用法。下面是一个简短的概要。 Herb承认尽管C++不是对每个程序员都是复杂的,但它是一个复杂的语言。Herb建议这样来看待C++,只有极少一部分程序员应该关注语言的最晦涩难懂的方面,比如当处理低层或库代码时,而其他人只需要通过默认的方式使用它,并让它能工作就可以了。 第一个例子是尽量多使用range-for循环。事实上,你也可以这样写: for (auto i = begin(c); i != end(c); ++i) { ... }
在现代C++中,一个更容易的写法是这样的: for (auto& e : c) { ... }
这种写法也提供了更好的可读性。 指针、引用、new和 deleteHerb的另一个强烈的建议是除非被封装在低层数据结构的实现内部,否则不要使用有所有权的指针(owning pointer)、new或者delete。一个更好的选择是unique_ptr,或者当你知道你需要共享这个对象的时候,使用shared_ptr。因此,你可以很容易地写成: auto p = make_unique<widget>();
auto q = make_shared<widget>();
通过使用make_unique和make_shared,你甚至不用担心delete的问题。 不管怎样,无所有权的指针(non-owning pointer)和引用仍然是一个很好的资源,并且使用它们最好的场合是传递参数给函数。Herb认为使用任何种类的引用计数变量来传递参数是一种真正的 反模式。这只可能导致性能问题,只有当你想把封装对象的所有权转移出去的时候才应该用它。 尽量多使用auto来声明局部变量据Herb的说法,auto关键字是现代C++最大的特性之一。auto能够用来推断类型,但是也可以用来指定类型并且一直代表那种类型。考虑下面的语句: auto i = v.begin();
这将正确地推断出所使用的类型。相比于下面的语句,这更简单并且不需要太多思考就能写出来。 vector::const_iterator i = v.begin();
上面的语句专门需要思考使用const_iterator。 正确性是auto的最大好处,但是它也有其他方面的好处: · 可维护性:它使得代码自动适应变化,比如,函数的返回值。 · 性能:作为正确类型推断的必然结果,auto能避免无意中产生临时对象,比如,初始化一个对象的时候。 · 可用性:在特殊的上下文中,比如,auto是lambda函数的一个促成因素。 · 打字方便:它可以少敲几下键盘。 然而,有些情况下你不能使用auto,换句话说,当你处理C数组或者不可移动的类型或者移动起来开销太大的类型,比如: auto lock = lock_guard<mutext> { m }; // 错误:不可移动
auto ai = atomic<int>{}; // 错误:不可移动
auto a = array<int,50>{}; // 正确,但开销太大
参数传递Herb演讲的很大一部分都专注在讨论参数传递。他的要点是,C++98默认用法在现代C++中还继续有效,并且代表了一个很好的起点,而右值优化带来更多的可能性。下面这个例子说明我们总是应该怎么做: class employee {
std::string name_;
public:
void set_name(const std::string& name) { name_ = name; } // 标准 C++98 的习惯
void set_name(std::string&& name) noexcept { name_ = std::move(name); } // 右值优化
};
另一方面,Herb建议值传递主要用在构造函数中。在其他场合,当你按值传递一个命名参数(也即,非临时对象),并且允许右值优化,会引起很大的性能影响,因为该参数会被拷贝。 元组Herb最后一个建议是关于使用元组来返回多个值: tie(iter, success) = myset.insert("Hello");
if (success) do_something_with(iter);
除了强调默认用法和惯用法的重要性,Herb也建议避免过度思考从而导致解决方案过度混淆。总之,他的秘诀是首先与语言提供的最基础的用法保持一致,然后通过实测,找到一些有希望改进的领域,尝试一些不一样的手段来改进性能。 查看英文原文:Herb Sutter on Modern C++ Essentials |