Hyper Auto

C++26で、先を見通す強力な型推論！

#include <print>
#include <vector>
#include "hyper_auto.hpp"

int main() {
    AUTO x;
    x = 42;  // ここで x の型がが int とわかる
    std::println("{}", x);

    std::vector<AUTO> vec;
    vec.push_back(3.14);  // ここで vec の型が std::vector<double> とわかる
    std::println("{}", vec);
}

コンパイルは2回！

g++ -std=c++26 main.cpp -DHPA_DUMPTYPES -fno-diagnostics-show-caret hpa_end.cpp 2> typefile.inc
g++ -std=c++26 main.cpp

clang++ -std=c++26 main.cpp -DHPA_DUMPTYPES -fno-caret-diagnostics hpa_end.cpp 2> typefile.inc
clang++ -std=c++26 main.cpp

コンパイルを2回行うことで高度な型推論を実現します。

1回目は、以下の表に示すコマンドライン引数を指定した上で、標準エラー出力を typefile.inc にリダイレクトして型情報を保存します。 2回目は、必要な型情報がすべて揃っていると、通常通りコンパイルできます。 ファイル名を typefile.inc 以外にする場合は、2回目も -DHPA_TYPEFILE=tmy_typefile.inc のように指定してください。

コマンドライン引数	説明
-DHPA_DUMPTYPES	型情報を出力します。
-fno-diagnostics-show-caret (gcc) -fno-caret-diagnostics (clang)	キャレット（コードの断片）を非表示にします。
hpa_end.cpp	型情報の出力を終了します。
-DHPA_TYPEFILE=my_typefile.inc	（任意）型情報として読み込むファイルを指定します。デフォルトは typefile.inc です。デフォルト以外のファイル名を使用する場合、コンパイル2回目にも指定する必要があります。

解説記事

https://qiita.com/Raclamusi/items/6a0fe8134e2bba6dbf59

別バージョン

異なる型で複数回推論される場合に対応したバージョンを common_type ブランチ で公開しています。 解説記事の方法とは別の方法で実装されています。