常量表達(dá)式

常量表達(dá)式是指不會(huì)改變且在編譯過程中就能得到計(jì)算結(jié)果的表達(dá)式，比如下面的10，value1 + 1，value1 ，value2都是常量表達(dá)式。

int main()
{
    const int value1 = 10;
    const int value2 = value1 + 1;
    return 0;
}

constexpr

constexpr和const很像，有如下區(qū)別

• 使用constexpr修飾的變量將在編譯期間就運(yùn)算出結(jié)果，而使用const修飾的變量只保證運(yùn)行時(shí)不會(huì)被修改。

int main()
{
    const int value1 = 10;
    constexpr int value2 = value1 + 1;
    return 0;
}

• constexpr只能修飾字面值類型，如算術(shù)類型，引用和指針，而const可以修飾類類型。

int main()
{
    const std::string str=nullptr;//正確
    constexpr std::string value2 = nullptr;//錯(cuò)誤
    return 0;
}

• 修飾指針時(shí)表達(dá)的意義不同。

int main()
{
    const int *p1=nullptr;//指向整形常量的指針
    constexpr int *p1 = nullptr;//指向整形的常量指針
    return 0;
}

constexpr函數(shù)

constexpr函數(shù)指能用于常量表達(dá)式的函數(shù)，函數(shù)的返回值類型以及所有形參類型都必須是字面值類型，有且只能有一個(gè)return語句。constexpr函數(shù)通常放在頭文件而不是源文件中。

#include <cstdio>
#include <string>
#include <iostream>

constexpr int getMbyte(int value)
{
    return value * 1024 * 1024;
}

int main()
{
    std::cout << getMbyte(2) << std::endl;
    return 0;
}

IDA中對(duì)應(yīng)的代碼

int __cdecl main()
{
  int v0; // eax@1

  v0 = std::basic_ostream<char,std::char_traits<char>>::operator<<(
         std::cout,
         0x200000,
         std::endl<char,std::char_traits<char>>);
  std::basic_ostream<char,std::char_traits<char>>::operator<<(v0);
  return 0;
}