newconstexpr.cpp

//
// Created by light on 20-1-7.
//

#include <array>
#include <iostream>
#include <vector>

using namespace std;

// C++17 内联变量
struct magic {
  //    static const int number = 42;  // error
  static constexpr int number = 42; // ok
  // 类的静态constexpr成员变量默认就是内联的。
  //    static inline const int number = 42; // ok
  //  const常量和类外面的constexpr变量是不默认内联，需要手工加inline关键字才会变成内联
};

// 内联变量之前用这个方法,称为one definition
// rule，有了内联变量及模板，则不受这条规则限制! const int magic::number = 42;
// // ok

// C++14 变量模板
// 之前我们需要用类静态数据成员来表达的东西，使用变量模板可以更简洁地表达。
namespace my {
template <class T>
inline constexpr bool is_trivially_destructible_v =
    std::is_trivially_destructible<T>::value;
}
// 不重要析构
class A {};

// 重要析构
class B {
  ~B() {}
};

int main() {
  std::cout << magic::number << std::endl;

  std::vector<int> v;
  v.push_back(magic::number); // undefined reference to `magic::number'
  std::cout << v[0] << std::endl;
  // 不重要的析构
  std::cout << is_trivially_destructible_v<A> << std::endl;
  std::cout << is_trivially_destructible_v<B> << std::endl;

  // constexpr变量仍是const

  constexpr int a = 42;
  const int &b = a;
  // 上述const不能去掉,否则报如下错误：
  // binding reference of type ‘int&’ to ‘const int’ discards qualifiers

  // constexpr 构造函数和字面类型
  // C++14 放开了 constexpr函数里的循环
  // C++20 放开了 try...catch语句 和 asm声明
  // constexpr函数里不能使用goto语句

  // 一个有意思的情况是一个类的构造函数。如果一个类的构造函数里面只包含常量表达式、
  // 满足对 constexpr
  // 函数的限制的话（这也意味着，里面不可以有任何动态内存分配），
  // 并且类的析构函数是平凡的，那这个类就可以被称为是一个字面类型。
  std::array<int, 5> ay;

  constexpr string_view sv{"hi"};
  constexpr pair pr{sv[0], sv[1]};
  constexpr array aa{pr.first, pr.second};
  constexpr int n1 = aa[0];
  constexpr int n2 = aa[1];
  cout << n1 << ' ' << n2 << '\n';
}