SampleCodes​/D言語文法​/コンパイル時実行関連​/1

概要

D言語のCTFE（コンパイル時関数呼び出し）機能を使うと、コンパイル時に関数を実行して結果を表示することが出来ます。

ポイント

1

pragma(msg, func(args));

と書く事で、CTFE可能な（CTFEableな）関数をコンパイル時に実行して表示させることが出来ます。

CTFEableな関数の条件

• 関数のソースコードがある（extern宣言だけがある関数はCTFEableでない）
• 関数の引数を、 C形式の可変個引数にしていない → Issue 6908
• synchronized関数でない
• 関数内部に以下が存在しない
  • 例外のthrow（追記：例外をthrowする関数はCTFEableになりました）
  • クラスの使用（追記：クラスを使用する関数はCTFEableになりました）
  • グローバルな変数への参照
  • ローカルstatic変数への参照
  • delete式 → Issue 6907
  • typeid式 → Issue 7147
  • CTFEableでない関数の呼び出し
  • プラットフォーム間で互換性のないキャスト（例えばint[]からfloat[]へのキャスト、エンディアンに依存するキャストなど）
  • asm文
  • TemplateMixin文
  • synchronized文
  • throw文（throw文はCTFEableになりました）
  • with文（with文はCTFEableになりました）
  • scope文（scope文はCTFEableになりました）
  • try-catch-finally文（try-catch-finally文はCTFEableになりました）
  • ラベル付きbreak,continue文（ラベル付きbreak,continue文はCTFEableになりました）

サンプルコード

1 2 3 4 5 6 7 8 9 10 11 12 13

- ! - | !

//main.d import std.conv; string hoge() { return "hello"; } pragma(msg, hoge()); pragma(msg, to!int("6")); pragma(msg, to!float("3.141592")); void main(){}

コンパイル結果

1
2
3
4

～～～dmd.exe main.d
hello
6
3.141592

補足

CTFEには少なくないバグがあります。詳しくはここを参照してください。

投票とコメント