C/C++ signed right shiftが特定のコンパイラの算術演算であることを確認しますか？

Question

C/C++標準(see this link)によると、CおよびC++の>>演算子は、符号付き数値の算術シフトであるとは限りません。ビットが右にシフトされると、0（論理）または符号ビット（算術）がシフトインされるかどうかは、コンパイラの実装に依存します。

このコードは、符号付き整数の論理右シフトを実装するコンパイラのコンパイル時にASSERT（失敗）する機能を果たしますか？

#define COMPILE_TIME_ASSERT(EXP) \ 
    typedef int CompileTimeAssertType##__LINE__[(EXP) ? 1 : -1] 

#define RIGHT_SHIFT_IS_ARITHMETIC \ 
    ((((signed int)-1)>>1) == ((signed int)-1)) 

// SHR must be arithmetic to use this code 
COMPILE_TIME_ASSERT(RIGHT_SHIFT_IS_ARITHMETIC); 

Answer 1

私によく見えます！アセンブリファイルを発行する（またはデバッガでコンパイルされたプログラムをロードする）ようにコンパイラを設定し、signed int i; i >> 1;のために発行するオペコードを調べることもできますが、それはあなたのソリューションのように自動ではありません。

符号付き数値の算術右シフトを実装していないコンパイラが見つかった場合は、それについて聞きたいと思います。

Answer 2

なぜアサートしますか？コンパイラのシフト演算子があなたのニーズに合っていない場合は、結果を符号拡張することで正常に修正できます。また、時には実行時に十分です。結局のところ、コンパイラのオプティマイザは、実行時のうち、コンパイル時間を作ることができます。shift_is_arithmeticがtrueであることが保証されている場合、価値があるすべてのコンパイラはその塩がなくなりますので

static const bool

template <typename Number> 
inline Number shift_logical_right(Number value, size_t bits) 
{ 
    static const bool shift_is_arithmetic = (Number(-1) >> 1) == Number(-1); 
    const bool negative = value < 0; 
    value >>= bits; 
    if (!shift_is_arithmetic && negative) // sign extend 
     value |= -(Number(1) << (sizeof(Number) * 8 - bits)); 
} 

は、コンパイル時に評価することができます全体がifであり、構成がconst bool negativeであり、デッドコードである。

注：コードはMonoのencode_sleb128関数から適合されます。here。

更新

あなたが本当に算術シフトせずにマシン上でコンパイルを中止したい場合は、まだプリプロセッサに頼らない方がいいでしょう。あなたがstatic_assert（またはBOOST_STATIC_ASSERT）を使用することができます。

static_assert((Number(-1) >> 1) == Number(-1), "Arithmetic shift unsupported."); 

Answer 3

あなたの様々な意見からは、このクロスプラットフォームを使用してについて話しています。コンパイラがプラットフォーム用にコンパイルするとき、コンパイル時の演算子は実行時のものと同じように動作することをコンパイラが保証していることを確認してください。

異なる動作の例は、浮動小数点数で見つけることができます。 intにキャストしている場合は、コンパイラは定数式、倍精度、または拡張精度で定数式の演算を行っていますか？例えば、

constexpr int a = 41; constexpr int b =（a/7.5）;

私が言っていることは、非常に多くの異なるアーキテクチャを扱っているときに、コンパイル時と同じ動作をコンパイル時と同じように保証することです。

コンパイラが内部的に符号拡張し、ターゲット上に目的のオペコードを生成しない可能性があります。実行時にテストするか、アセンブリ出力を確認するしかありません。

アセンブリの出力を見るのは世界の終わりではありません...いくつのプラットフォームがありますか？これはパフォーマンスが非常に重要なので、5つの異なるアーキテクチャーのアセンブラ出力を1〜3行表示するという「仕事」を行うだけです。まるであなたのラインを見つけるためにアセンブリー出力全体（通常は！）を飛び越えなければならないかのようなものではありません。非常に簡単です。