C++常量表达式和constexpr

常量表达式

常量表达式是指不会改变且在编译过程中就能得到计算结果的表达式，比如下面的10，value1 + 1，value1 ，value2都是常量表达式。

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

constexpr

constexpr和const很像，有如下区别

• 使用constexpr修饰的变量将在编译期间就运算出结果，而使用const修饰的变量只保证运行时不会被修改。

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

• constexpr只能修饰字面值类型，如算术类型，引用和指针，而const可以修饰类类型。

int main()
{
    const std::string str=nullptr;//正确
    constexpr std::string value2 = nullptr;//错误
    return 0;
}

• 修饰指针时表达的意义不同。

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

constexpr函数

constexpr函数指能用于常量表达式的函数，函数的返回值类型以及所有形参类型都必须是字面值类型，有且只能有一个return语句。constexpr函数通常放在头文件而不是源文件中。

#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中对应的代码

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;
}