C++11：constexpr關鍵字

来源:https://www.cnblogs.com/crossoverpptx/archive/2022/12/30/17014405.html
-Advertisement-
Play Games

1. C++常量表達式 constexpr 是 C++ 11 標準新引入的關鍵字，在學習其具體用法和功能之前，我們需要先搞清楚 C++ 常量表達式的含義。 所謂常量表達式，指的就是由多個（≥1）常量組成的表達式。換句話說，如果表達式中的成員都是常量，那麼該表達式就是一個常量表達式。這也意味著，常量表 ...


1. C++常量表達式

constexpr 是 C++ 11 標準新引入的關鍵字，在學習其具體用法和功能之前，我們需要先搞清楚 C++ 常量表達式的含義。

所謂常量表達式，指的就是由多個（≥1）常量組成的表達式。換句話說，如果表達式中的成員都是常量，那麼該表達式就是一個常量表達式。這也意味著，常量表達式一旦確定，其值將無法修改。

實際開發中，我們經常會用到常量表達式。以定義數組為例，數組的長度就必須是一個常量表達式：

// 1)
int url[10];//正確
// 2)
int url[6 + 4];//正確
// 3)
int length = 6;
int url[length];//錯誤，length是變數

上述代碼演示了 3 種定義 url 數組的方式，其中第 1、2 種定義 url 數組時，長度分別為 10 和 6+4，顯然它們都是常量表達式，可以用於表示數組的長度；第 3 種 url 數組的長度為 length，它是變數而非常量，因此不是一個常量表達式，無法用於表示數組的長度。

我們知道，C++ 程式的執行過程大致要經歷編譯、鏈接、運行這 3 個階段。而常量表達式和非常量表達式的計算時機不同，非常量表達式只能在程式運行階段計算出結果；而常量表達式的計算往往發生在程式的編譯階段，這可以極大提高程式的執行效率，因為表達式只需要在編譯階段計算一次，節省了每次程式運行時都需要計算一次的時間。

對於用 C++ 編寫的程式，性能往往是永恆的追求。那麼在實際開發中，如何才能判定一個表達式是否為常量表達式，進而獲得在編譯階段即可執行的“特權”呢？除了人為判定外，C++11 標準還提供有 constexpr 關鍵字。constexpr 關鍵字的功能是使指定的常量表達式獲得在程式編譯階段計算出結果的能力，而不必等到程式運行階段。C++ 11 標準中，constexpr 可用於修飾普通變數、函數（包括模板函數）以及類的構造函數。

註意：獲得在編譯階段計算出結果的能力，並不代表 constexpr 修飾的表達式一定會在程式編譯階段被執行，具體的計算時機還是編譯器說了算。

2. constexpr修飾普通變數

C++11 標準中，定義變數時可以用 constexpr 修飾，從而使該變數獲得在編譯階段即可計算出結果的能力。使用 constexpr 修改普通變數時，變數必須經過初始化且初始值必須是一個常量表達式。舉個例子：

#include <iostream>
using namespace std;

int main()
{
    constexpr int num = 1 + 2 + 3;
    int url[num] = {1,2,3,4,5,6};
    couts<< url[1] << endl;
    return 0;
}

程式執行結果為：2

註意：可嘗試將 constexpr 刪除，此時編譯器會提示“url[num] 定義中 num 不可用作常量”。

可以看到，程式第 6 行使用 constexpr 修飾 num 變數，同時將 "1+2+3" 這個常量表達式賦值給 num。由此，編譯器就可以在編譯時期對 num 這個表達式進行計算，因為 num 可以作為定義數組時的長度。

需要註意的是，將此示常式序中的 constexpr 用 const 關鍵字替換也可以正常執行，這是因為 num 的定義同時滿足“num 是 const 常量且使用常量表達式為其初始化”這 2 個條件，由此編譯器會認定 num 是一個常量表達式。但我們必須清楚，const 和 constexpr 並不相同。

另外需要註意的是，當常量表達式中包含浮點數時，考慮到程式編譯和運行所在的系統環境可能不同，常量表達式在編譯階段和運行階段計算出的結果精度很可能會受到影響，因此 C++11 標準規定，浮點常量表達式在編譯階段計算的精度要至少等於（或者高於）運行階段計算出的精度。

3. constexpr修飾函數

constexpr 還可以用於修飾函數的返回值，這樣的函數又稱為“常量表達式函數”。但需要註意，constexpr 並非可以修改任意函數的返回值，一個函數要想成為常量表達式函數，必須滿足如下 4 個條件：

  1. 整個函數的函數體中，除了可以包含 using 指令、typedef 語句以及 static_assert 斷言外，只能包含一條 return 返回語句。舉個例子：
constexpr int display(int x) {
    int ret = 1 + 2 + x;
    return ret;
}

上面這個函數是無法通過編譯的，因為該函數的返回值用 constexpr 修飾，但函數內部包含多條語句。如下是正確的定義 display() 常量表達式函數的寫法：

constexpr int display(int x) {
    //可以添加 using 執行、typedef 語句以及 static_assert 斷言
    return 1 + 2 + x;
}

可以看到，display() 函數的返回值是用 constexpr 修飾的 int 類型值，且該函數的函數體中只包含一個 return 語句。

  1. 該函數必須有返回值，即函數的返回值類型不能是 void。舉個例子：
constexpr void display() {
    //函數體
}

像上面這樣定義的返回值類型為 void 的函數，不屬於常量表達式函數。原因很簡單，因為通過類似的函數根本無法獲得一個常量。

  1. 函數在使用之前，必須有對應的定義語句。我們知道，函數的使用分為“聲明”和“定義”兩部分，普通的函數調用只需要提前寫好該函數的聲明部分即可（函數的定義部分可以放在調用位置之後甚至其它文件中），但常量表達式函數在使用前，必須要有該函數的定義。舉個例子：
#include <iostream>
using namespace std;

//普通函數的聲明
int noconst_dis(int x);
//常量表達式函數的聲明
constexpr int display(int x);

//常量表達式函數的定義
constexpr int display(int x){
    return 1 + 2 + x;
}

int main()
{
    //調用常量表達式函數
    int a[display(3)] = { 1,2,3,4 };
    cout << a[2] << endl;
    //調用普通函數
    cout << noconst_dis(3) << endl;
    return 0;
}
//普通函數的定義
int noconst_dis(int x) {
    return 1 + 2 + x;
}

程式執行結果為：

3
6

註意：可嘗試將 display() 常量表達式函數的定義調整到 main() 函數之後，查看編譯器的報錯信息。

可以看到，普通函數在調用時，只需要保證調用位置之前有相應的聲明即可；而常量表達式函數則不同，調用位置之前必須要有該函數的定義，否則會導致程式編譯失敗。

  1. return 返回的表達式必須是常量表達式，舉個例子：
#include <iostream>
using namespace std;

int num = 3;
constexpr int display(int x){
    return num + x;
}

int main()
{
    //調用常量表達式函數
    int a[display(3)] = { 1,2,3,4 };
    return 0;
}

該程式無法通過編譯，編譯器報“display(3) 的結果不是常量”的異常。

常量表達式函數的返回值必須是常量表達式的原因很簡單，如果想在程式編譯階段獲得某個函數返回的常量，則該函數的 return 語句中就不能包含程式運行階段才能確定值的變數。

註意：在常量表達式函數的 return 語句中，不能包含賦值的操作（例如 return x=1 在常量表達式函數中不允許的）。另外，用 constexpr 修改函數時，函數本身也是支持遞歸的。

4. constexpr修飾類的構造函數

對於 C++ 內置類型的數據，可以直接用 constexpr 修飾，但如果是自定義的數據類型（用 struct 或者 class 實現），直接用 constexpr 修飾是不行的。
舉個例子：

#include <iostream>
using namespace std;

//自定義類型的定義
constexpr struct myType {
    const char* name;
    int age;
    //其它結構體成員
};

int main()
{
    constexpr struct myType mt { "zhangsan", 10 };
    cout << mt.name << " " << mt.age << endl;
    return 0;
}

該程式無法通過編譯，編譯器會拋出“constexpr不能修飾自定義類型”的異常。

當我們想自定義一個可產生常量的類型時，正確的做法是在該類型的內部添加一個常量構造函數。例如，修改上面的錯誤示例如下：

#include <iostream>
using namespace std;

//自定義類型的定義
struct myType {
    constexpr myType(char *name,int age):name(name),age(age){};
    const char* name;
    int age;
    //其它結構體成員
};

int main()
{
    constexpr struct myType mt { "zhangsan", 10 };
    cout << mt.name << " " << mt.age << endl;
    return 0;
}

程式執行結果為：

zhangsan 10

可以看到，在 myType 結構體中自定義有一個構造函數，藉助此函數，用 constexpr 修飾的 myType 類型的 my 常量即可通過編譯。

註意：constexpr 修飾類的構造函數時，要求該構造函數的函數體必須為空，且採用初始化列表的方式為各個成員賦值時，必須使用常量表達式。

前面提到，constexpr 可用於修飾函數，而類中的成員方法完全可以看做是“位於類這個命名空間中的函數”，所以 constexpr 也可以修飾類中的成員函數，只不過此函數必須滿足前面提到的 4 個條件。舉個例子：

#include <iostream>
using namespace std;

//自定義類型的定義
class myType {
public:
    constexpr myType(const char *name,int age):name(name),age(age){};
    constexpr const char * getname(){
        return name;
    }
    constexpr int getage(){
        return age;
    }
private:
    const char* name;
    int age;
    //其它結構體成員
};

int main()
{
    constexpr struct myType mt { "zhangsan", 10 };
    constexpr const char * name = mt.getname();
    constexpr int age = mt.getage();
    cout << name << " " << age << endl;
    return 0;
}

程式執行結果為：

zhangsan 10

註意：C++11 標準中，不支持用 constexpr 修飾帶有 virtual 的成員方法。

5. constexpr修飾模板函數

C++11 語法中，constexpr 可以修飾模板函數，但由於模板中類型的不確定性，因此模板函數實例化後的函數是否符合常量表達式函數的要求也是不確定的。針對這種情況下，C++11 標準規定，如果 constexpr 修飾的模板函數實例化結果不滿足常量表達式函數的要求，則 constexpr 會被自動忽略，即該函數就等同於一個普通函數。舉個例子：

#include <iostream>
using namespace std;

//自定義類型的定義
struct myType {
    const char* name;
    int age;
    //其它結構體成員
};
//模板函數
template<typename T>
constexpr T dispaly(T t){
    return t;
}

int main()
{
    struct myType stu{"zhangsan",10};
    //普通函數
    struct myType ret = dispaly(stu);
    cout << ret.name << " " << ret.age << endl;
    //常量表達式函數
    constexpr int ret1 = dispaly(10);
    cout << ret1 << endl;
    return 0;
}

程式執行結果為：

zhangsan 10
10

可以看到，示常式序中定義了一個模板函數 display()，但由於其返回值類型未定，因此在實例化之前無法判斷其是否符合常量表達式函數的要求：

  • 第 20 行代碼處，當模板函數中以自定義結構體 myType 類型進行實例化時，由於該結構體中沒有定義常量表達式構造函數，所以實例化後的函數不是常量表達式函數，此時 constexpr 是無效的；
  • 第 23 行代碼處，模板函數的類型 T 為 int 類型，實例化後的函數符合常量表達式函數的要求，所以該函數的返回值就是一個常量表達式。

您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Ng-Matero v15 正式發佈
    前言 Angular 按照既定的發版計劃在 11 月中旬發佈了 v15 版本。推遲了一個月（幾乎每個版本都是這個節奏😳），Ng-Matero 也終於更新到了 v15。其實 Ng-Matero 本身的更新非常簡單，但是同步維護的 Material Extensions 這個庫要先於 Ng-Mater ...
  • go-淺學設計模式隨記
    談起消息隊列，內心還是會有些波瀾。 消息隊列、緩存、分庫分表是高併發解決方案三劍客，而消息隊列是我最喜歡，也是思考最多的技術。我想按照下麵的四個階段分享我與消息隊列的故事，同時也是對我技術成長經歷的回顧。 ...
  • 淺談C語言編譯原理
    C語言 我們在學習電腦學科時，往往最先接觸到的編程語言是C，它是所有語言中，最接近底層的高級語言之一，因而它具有執行速度快的優點。但它又具有開發周期長和對於經驗不足的開發者極容易犯錯的缺點。C語言應用範圍廣泛，你幾乎可以在任何場景中看到它的影子。 C語言編譯原理 一個編寫好的C代碼經過編譯成可執行 ...
  • Windows下jdk安裝與卸載-超詳細的圖文教程
    jdk安裝 下載jdk 由於現在主流就是jdk1.8，所以這裡就下載jdk1.8進行演示。官方下載地址：https://www.oracle.com/java/technologies/downloads/#java8-windows。 官方下載需要註冊oracle賬號，國內下載有可能速度慢，若不想 ...
  • LeetCode-400. 第N位數字
    題目來源 400. 第 N 位數字 題目詳情 給你一個整數 n ，請你在無限的整數序列 [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] 中找出並返回第 n 位上的數字。 示例 1： 輸入： n = 3 輸出： 3 示例 2： 輸入： n = 11 輸出： 0 解釋： ...
  • 複習Stream流，函數式介面，方法引用
    #增強for迴圈 增強for迴圈 (也稱for each迴圈) 是迭代器遍歷方法的一個“簡化版”，是JDK1.5以後出來的一個高級for迴圈，專門用來遍曆數組和集合。 普通for迴圈 int[] num = {1,2,3,4,5,6}; for(int i = 0 ; i<num.length ; ...
  • 終於弄明白了 RocketMQ 的存儲模型
    RocketMQ 優異的性能表現，必然繞不開其優秀的存儲模型 。 這篇文章，筆者按照自己的理解 , 嘗試分析 RocketMQ 的存儲模型，希望對大家有所啟發。 1 整體概覽 首先溫習下 RocketMQ 架構。 整體架構中包含四種角色 : Producer ：消息發佈的角色，Producer 通過 ...
  • Python教程：如何創建多線程？
    JZ74 和為S的連續正數序列 題目 小明很喜歡數學,有一天他在做數學作業時,要求計算出9~16的和,他馬上就寫出了正確答案是100。 但是他並不滿足於此,他在想究竟有多少種連續的正數序列的和為100(至少包括兩個數)。 沒多久,他就得到另一組連續正數和為100的序列:18,19,20,21,22。 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類