什麼是「超集的子集」原則？

Question

在c++ core guidelines，它說

這些準則是根據 原則（Stroustrup05）「超子集」設計。他們不會簡單地將C++的子集定義爲 （可靠性，安全性，性能或其他）。相反，他們強烈建議使用幾個簡單的「擴展」（庫 組件），這些擴展使C++ 中最容易出錯的特性成爲冗餘，以便它們可以被禁止（在我們的規則集中）。

什麼是「超集子集」原理？

Answer 1

的cited paper解釋它是這樣的：

1. 超：添加庫提供應用特定的功能，然後
2. 子集：減去的功能（庫執行外）提供語義保障

結果是稱爲 S的語言超集的子集語義上增強的庫語言。

Answer 2

在參考Stroustrup05，他說：

1. 超：添加庫來提供特定應用 設施，然後
2. 子集：減去的功能（庫執行外）提供語義保障

結果是語言的超集的子集

Answer 3

看看Keynote from CppCon 2015。
這個概念在那裏更加精確。

「超集的子集」是一種通過庫和靜態分析獲得更好安全性的方法;不是通過限制當前的語言功能。