constexprを勉強しなおしたので確認

Question

const int x = 0  //1 : コンパイル時定数
const int y = x  //2 : 非コンパイル定数

constexprについて勉強したので自分の理解が正しいのかの確認をしたいです!
1 : を明示的に表現したのがconstexprという認識であっていますでしょうか？

Answer 1

コンパイル時定数は仕様上は「定数式」として説明されていて、定数であるというのは constexpr で宣言する変数の初期化子として現れることが出来ることを意味します。

#include <type_traits>
#include <iostream>

int main(void) {
    const int x = 1;
    const int y = x;
    constexpr int z = x;
    constexpr int w = y;
    std::cout << std::is_same<decltype(z), const int>::value << std::endl;
}

結論としては質問者の提示する例において x も y もコンパイル時に定数として使えます。

原則として const は「その変数には書き込みできない」という性質を表すものですが、それに加えて「定数初期化 (初期化子が定数式; constant initialization) である場合にはその変数も定数式として使える」という規則です。 y の初期化子が (定数式であるところの) x なことによって y も定数式として使えるようになります。 (C と C++ では定数式の要件が異なるので C++ の仕様を調べる場合に C の仕様と混同しないように注意してください。)

Comments

[apa]

https://qiita.com/ysuzuki19/items/d87cfe1e8098733ef42c
上記サイトを参考にしたのですが自分の誤解があったみたいです！
int main(void) {
int a=1;
const int b = 2;
foo<b> bar;
const int c = a;
foo<c> baz; // エラー
}

int の部分をconstにしてしまっていました
変数でconstexprを初期化したところエラーがでてくれたので、正しかったです
ありがとうございました！！

Answer 2

1:も2:も定数伝播するため,コンパイル時定数になると思います。
1:がコンパイル時定数なら2:もコンパイル時定数になります。
例えば,

constexpr int x=1;
constexpr int y=x;

でもコンパイルに成功します。

定数伝播