C++ MIX #12 開催案内

cppmix.connpass.com

2024年12月20日 (金) に、C++ MIX #12 を開催します。

会場都合で前回からの期間が空いてしまいましたが、再開します。

発表申請をお待ちしております。

2024-09-30

レバテックLABにて情報発信とお金についての記事を書きました

levtech.jp

2023年から、私が関わっている情報発信についてスポンサー募集を開始しましたが、そのあたりの考えについて記事を書かせていただきました。

持続的な情報発信、持続的なオープンソースの開発のための取り組みとして参考になれば幸いです。

2024-08-08

レバテックLABにて技術書以外の本を紹介する記事を書きました

levtech.jp

前編では2024年現在おすすめしたいC++書籍を紹介しました。

後編では、仕事でソフトウェア開発しながらも、余暇の時間にC++日本語リファレンスサイトや書籍の執筆、勉強会の開催などをしている立場からおすすめしたい、技術書以外の本を紹介する記事を書かせていただきました。

2024-07-16

レバテックLABにてC++本の紹介記事を書かせていただきました

levtech.jp

キャリアと技術のWebメディアであるレバテックLABで、C++の技術書を紹介する記事を書かせていただきました。

2024年現在でC++を学ぶための材料として参考になれば幸いです。

2024-07-11

cpprefjp Tシャツを作ります！

github.com

2024年もCEDECでcpprefjp所属の方の発表があるので、それに合わせてcpprefjp Tシャツを作ります！

発表者だけでなく、cpprefjpのコントリビューターとスポンサーの方も、実費をいただければ発注します。

この機会に、cpprefjp Webサイトの編集に挑戦くださる方、スポンサーになってくださる方をお待ちしております。

スポンサーは、Open Collectiveで募集しています。スポンサーになっていただいた方は、1年間cpprefjp Webサイトのトップページに、ロゴ画像とリンクを掲載させていただきます。

opencollective.com

Tシャツのデザインは以下になります。次の機会はあるかどうかわからないので、この機会にぜひ！

2024-05-17

static_assertの比較値をエラーメッセージに表示する

C++のstatic_assert(A == B);は表明失敗時にfalseということしかわからない場合があります。

GCC 12以上、Clang 16以上であれば、比較値をエラーメッセージに表示してくれます。

int main()
{
    constexpr int a = 1;
    constexpr int b = 2;
    static_assert(a == b);
}

GCC :

prog.cc: In function 'int main()':
prog.cc:5:21: error: static assertion failed
    5 |     static_assert(a == b);
      |                   ~~^~~~
prog.cc:5:21: note: the comparison reduces to '(1 == 2)'

Clang :

prog.cc:5:5: error: static assertion failed due to requirement 'a == b'
    static_assert(a == b);
    ^             ~~~~~~
prog.cc:5:21: note: expression evaluates to '1 == 2'
    static_assert(a == b);
                  ~~^~~~
1 error generated.

それより古いコンパイラの場合は、クラスの非型テンプレートパラメータとして左辺、右辺の値をとり、そのなかでstatic_assertすることで、エラーメッセージにテンプレートパラメータを含むクラス名が表示されるので比較値がわかるようにできます。

template <auto A, auto B>
struct static_assert_eq {
    static constexpr bool value = true;
    static_assert(A == B);
};

int main()
{
    constexpr int a = 1;
    constexpr int b = 2;
    static_assert(static_assert_eq<a, b>::value);
}

メンバ変数宣言の文脈で使うような場合に、このような2段階のstatic_assertが必要になります。

struct X {
    static constexpr int a = 1;
    static constexpr int b = 2;
    static_assert(static_assert_eq<a, b>::value); // 文脈的にstatic_assert_eq<a, b>{};はできない
};