C++の新機能を理解する――consteval if文と明示的オブジェクトパラメータthisなど言語仕様の強化

【C++の新機能を理解する】最新バージョンを徹底解説！ 第1回

　C++は、C言語より派生した歴史のあるオブジェクト指向言語です。このC++は、システムプログラミングにも適した高速で緻密なコーディングのための言語ですが、絶え間なく進化を続けており、モダンな言語仕様やライブラリ機能も貪欲に取り込んでいます。本連載では、このC++の最新バージョンにフォーカスし、その新機能を紹介していきます。また、最新バージョン以前の機能にも関連の深いものについて言及することで、新機能をつながりとして理解できることも意識します。第1回では、C++ 23における言語仕様面の強化／変更点について、コンパイル時に条件判定できるconsteval if文と、明示的なオブジェクトパラメータthisを中心に紹介します。

対象読者

• C++の最新バージョンの機能を把握したい方
• C++の経験者で、C++に改めて入門したい方
• プログラミング言語の最新パラダイムに関心のある方

必要な環境

　本記事のサンプルコードは、以下の環境で動作を確認しています。なお、一部のサンプルは以下の環境では動作しないか、あるいは実験的実装（Experimental）なので動作が不安定になる可能性があります。

• macOS Sequoia / Windows 11
  • Xcode Command Line Tools 16.0（Clang 16.0.0）
  • w64devkit 2.4.0（GCC 15.2.0）

主要コンパイラのC++対応状況

　C++はC++ 23まで標準化されていますが（ISO/IEC 14882:2024）、コンパイラが全ての仕様をサポートできているわけではありません。Clang 16、GCC 15ともにC++ 17まではフル実装ですが、C++ 20以降の仕様に関しては未実装や実験的実装が混じっています。

　最新の対応状況は、以下のページで確認できます。

• Clang - C++ Programming Language Status
• C++ Standards Support in GCC - GNU Project

C++プログラムのコンパイル

　サンプルのコンパイルには、例えば以下のようにライブラリやC++バージョンの指定が必要です（Clang、GCCの場合）。

% gcc -o sample sample.cpp -lstdc++ -std=c++23