コンパイル時アサートでstatic const int型を表示したい

Question

static_assertでは、コンパイル時に任意の文字リラテルをエラー文として表示することができますが、定数やコンパイル時定数を指定してもエラーとなってしまいます。コンパイル時定数を指定できればよりメタプログラミングの幅が広がると思うのですが、何故そうできないのでしょうか。
そして、どうにかして文字リラテル以外を指定することができないでしょうか。

#include <iostream>

struct test {
	static  const int value = 5;
};

int main() {
	static constexpr int t = 4;

	static_assert(false, "test");
	static_assert(false, t);
	static_assert(false, test::value);

	return 0;
}

Answer 1

どうにかして文字リラテル以外を指定することができないでしょうか。

できません。static_assertキーワードによるstatic_assert宣言は下記の通り構文定義されています。

static_assert-declaration :
static_assert ( constant-expression ) ;
static_assert ( constant-expression , string-literal ) ;

---

コンパイル時定数を指定できればよりメタプログラミングの幅が広がると思うのですが、何故そうできないのでしょうか。

static_assertは「メタプログラミングにおける制約違反をわかりやすくプログラマに伝える」ための機構です。そのエラーメッセージ自身をさらにメタプログラミングでコンパイル時定数として組み立てるような、メタ・メタ機構まで必要になるケースは少ないのではないでしょうか？

真にそのような機能が必要であれば、テンプレートメタプログラミングのメタ機構である、古き良きプリプロセッサ・メタプログラミングで十分かと思います。

---

FYI: 同機能は過去(2015年) N4433 Flexible static_assert messages として提案されたことはあるようです。C++標準化委員会のEWG課題リストではペンデイング状態になっています。

Comments

[asobinin]

static_assertの本来の目的を忘れてはならないということですね・・・
下記のURLでは、boostを使用してエラー文にFizzBuzzを表示しておりました。
まだ可能性は残されていそうです。
https://www.adamtornhill.com/articles/fizzbuzz.htm

[yohhoy]

リンク先はstatic_assert導入されたC++11以前でも使える、型名として値を表現しておきコンパイルエラーの一部として出力させるテクニックですね。

Answer 2

要するにintからconstexprな配列リテラルに変換することができればいいわけですね。
Sprout.Stringというもので解決できそうです。

参考URL: https://www.slideshare.net/mobile/GenyaMurakami/constexpr-23355469

Answer 3

定数やコンパイル時定数を指定してもエラーとなってしまいます。

上のコードでエラーとなっているのは、それが文字列リテラルではない、からではないでしょうか（cppref）。

Comments

[maisumakun]

すみません、ちょっと質問の位置を取り違えていたようです。