本系列是開源書C++ Best Practises[1]的中文版，全書從工具、代碼風格、安全性、可維護性、可移植性、多線程、性能、正確性等角度全面介紹了現代C++項目的最佳實踐。本文是該系列的第三篇。

C++最佳實踐:

1. 工具

2. 代碼風格

3.?安全性（本文）

4.?可維護性

5.?可移植性及多線程

6.?性能

7.?正確性和腳本

安全性

盡量使用const

用const修飾變量或方法，從而告訴編譯器這些都是不可變的，有助于編譯器優化代碼，并幫助開發人員了解函數是否有副作用。此外，使用const &可以防止編譯器復制不必要的數據。John Carmack對```const```的評論[2]值得一讀。

?

//?Bad?Idea
class?MyClass
{
public:
??void?do_something(int?i);
??void?do_something(std::string?str);
};


//?Good?Idea
class?MyClass
{
public:
??void?do_something(const?int?i);
??void?do_something(const?std::string?&str);
};

?

仔細考慮返回類型

Getters(成員變量讀取API)

正常情況下，通過返回值讀取成員變量時，使用&或const &返回值可以顯著提高性能

按值返回更有利于線程安全，如果返回的值就是為了復制使用，就不會有性能損耗

如果API返回值使用協變類型(covariant return types)，必須返回&或*

臨時值和局部值

始終按值返回

不要用const引用傳遞和返回簡單類型

?

//?Very?Bad?Idea
class?MyClass
{
public:
??explicit?MyClass(const?int&?t_int_value)
????:?m_int_value(t_int_value)
??{
??}

??const?int&?get_int_value()?const
??{
????return?m_int_value;
??}

private:
??int?m_int_value;
}

?

相反，通過值傳遞和返回簡單類型。如果不打算更改傳遞的值，請將它們聲明為const，但不要聲明為const引用:

?

//?Good?Idea
class?MyClass
{
public:
??explicit?MyClass(const?int?t_int_value)
????:?m_int_value(t_int_value)
??{
??}

??int?get_int_value()?const
??{
????return?m_int_value;
??}

private:
??int?m_int_value;
}

?

為什么要這樣？因為通過引用傳遞和返回會導致指針操作，而值傳遞在處理器寄存器中處理，速度更快。

避免訪問裸內存

C++中很難在沒有內存錯誤和泄漏風險[3]的情況下正確處理裸內存的訪問、分配和回收，C++11提供了避免這些問題的工具。

?

//?Bad?Idea
MyClass?*myobj?=?new?MyClass;

//?...
delete?myobj;


//?Good?Idea
auto?myobj?=?std::make_unique(constructor_param1,?constructor_param2);?//?C++14
auto?myobj?=?std::unique_ptr(new?MyClass(constructor_param1,?constructor_param2));?//?C++11
auto?mybuffer?=?std::make_unique(length);?//?C++14
auto?mybuffer?=?std::unique_ptr(new?char[length]);?//?C++11

//?or?for?reference?counted?objects
auto?myobj?=?std::make_shared();?

//?...
//?myobj?is?automatically?freed?for?you?whenever?it?is?no?longer?used.

?

用std::array或std::vector代替C風格的數組

這兩種方法都保證了對象的連續內存布局，并且可以(而且應該)完全取代C風格數組，另外這也是不使用裸指針的諸多原因之一。

另外，避免使用```std::shared_ptr```保存數組[4]。

使用異常

返回值(例如boost::optional)，可以被忽略，如果不檢查，可能會導致崩潰或內存錯誤，而異常不能被忽略。另一方面，異常可以被捕獲和處理。可能異常會一直上升到應用程序的最高層級被捕獲、記錄到日志中，并觸發應用自動重啟。

C++的設計者之一Stroustrup談論過這個話題: Why use exceptions?[5]

用C++風格的類型轉換，而不是C風格的類型轉換

用C++風格的強制類型轉換(static_cast<>，dynamic_cast<>，…)代替C風格的強制類型轉換，C++風格的強制轉換允許更多的編譯器檢查，而且相當安全。

?

//?Bad?Idea
double?x?=?getX();
int?i?=?(int)?x;

//?Not?a?Bad?Idea
int?i?=?static_cast(x);

?

此外，C++類型轉換風格更為顯式，對搜索更為友好。

但如果需要將double類型轉換為int類型，請考慮重構程序邏輯(例如，對溢出和下溢進行額外檢查)。避免出現測量了3次，然后切割0.9999999999981次這種情況。

不要定義可變參數函數(variadic function)

可變參數函數可以接受數量可變的參數，最著名的例子可能是printf()。雖然可以定義此類函數，但可能存在安全風險。可變參數函數的使用不是類型安全的，錯誤的輸入參數可能導致程序以未定義的行為終止。這種未定義的行為可能會導致安全問題。如果使用支持C++1的編譯器，那么可以使用可變參數模板。

額外資源

David Wheeler的《How to Prevent The Next Heartbleed[7]》一書很好的分析了代碼安全的現狀以及如何確保代碼安全。