実行時にネイティブエンディアンがリトルエンディアンか否かは、例えば以下のように判定できます。
#include <iostream>
const int bom = 1;
bool is_little_endian() {
return *reinterpret_cast<const char *>(&bom) == 1;
}
int main()
{
const bool b = is_little_endian();
std::cout << b << '\n';
}
C++11で定数式の機能(constexpr)が追加されたので、constをconstexprに変えればコンパイル時に判定できるのではないかと考えたのですが、reinterpret_castは定数式の中では使えないようで、コンパイルエラーになります。
#include <iostream>
constexpr int bom = 1;
constexpr bool is_little_endian() {
return *reinterpret_cast<const char *>(&bom) == 1;
}
int main()
{
constexpr bool b = is_little_endian();
std::cout << b << '\n';
}
;
# clang++ -Wall -std=c++11 test_endian.cpp
test_endian.cpp:4:16: error: constexpr function never produces a constant
expression [-Winvalid-constexpr]
constexpr bool is_little_endian() {
^
test_endian.cpp:5:10: note: reinterpret_cast is not allowed in a constant
expression
return *reinterpret_cast<const char *>(&bom) == 1;
^
1 error generated.
コンパイル時にはネイティブエンディアンは決まっていると思うのでコンパイル時に判定したいのですが、Boostライブラリのようにコンパイラー独自のマクロで判定する方法以外で、何か方法はありますか?
※リトルエンディアンか否かだけではなく、リトルエンディアン/ビッグエンディアン/その他に分類できればベストです。
■追記
用途としては、外部データと内部データを変換する関数/クラスを作る場合に、外部データのエンディアンとネイティブエンディアンの関係で実装を最適化する、ということを想定しています。
std::cout << is_little_endian() << '\n';
ではコンパイルエラーになりませんけど、constexpr bool le = is_little_endian();
だとコンパイルエラーになります。要は、is_little_endian() の結果は非constexpr
な値として使うことはできるけど、constexpr
な値としては使えないということです。constexpr
として扱おうとすると、禁止されるものに (1)union
の、代入したメンバーとは異なるメンバーの参照、(2)void *
から別の型のポインタへの変換、(3)reinterpret_cast
が含まれている (※) ので、int
型変数の先頭バイトを取り出すのは無理な気がします。 (※) ISO/IEC 14882:2011,2014 5.19 p2 より。