Cの>>> =演算子とは何ですか？

同僚からパズルとして与えられたので、このCプログラムが実際にどのようにコンパイルされて実行されるのか理解できません。この>>>=演算子と奇妙な1P1リテラルは何ですか？ClangとGCCでテストしました。警告はなく、出力は "???"です。

#include <stdio.h>

int main()
{
    int a[2]={ 10, 1 };

    while( a[ 0xFULL?'\0':-1:>>>=a<:!!0X.1P1 ] )
        printf("?");

    return 0;
}

この線：

while( a[ 0xFULL?'\0':-1:>>>=a<:!!0X.1P1 ] )

とにそれぞれ変換されるダイグラフ :>とが含まれているため、次と同等です。<:][

while( a[ 0xFULL?'\0':-1 ] >>= a[ !!0X.1P1 ] )

リテラル0xFULLは0xF（の16進数15）と同じです。はULL、それがunsigned long longリテラルであることを指定しています。いずれの場合も、ブール値としてはtrueであるため、と0xFULL ? '\0' : -1評価されます'\0'。これは、数値が単にである文字リテラルです0。

一方、0X.1P1は、2/ 16 = 0.125に等しい16進浮動小数点リテラルです。いずれの場合も、ゼロ以外であり、ブール値としても真であるため、!!再度2回否定するとが生成され1ます。したがって、全体が次のように簡略化されます。

while( a[0] >>= a[1] )

演算子>>=は、右のオペランドで指定されたビット数だけ左のオペランドを右にビットシフトし、結果を返す複合代入です。この場合、右側のオペランドa[1]の値1は常になので、次と同等です。

while( a[0] >>= 1 )

または、同等に：

while( a[0] /= 2 )

の初期値a[0]は10です。1回右にシフトすると、5、次に（切り捨て）2、1、最後に0になり、ループが終了します。したがって、ループ本体は3回実行されます。

それはdigraphを含むいくつかのかなりあいまいなコードです。つまり<:、および:>は[、]それぞれとの代替トークンです。条件演算子の使用もあります。あり、ビットシフト演算、右シフトの割り当てが>>=。

これはより読みやすいバージョンです：

while( a[ 0xFULL ? '\0' : -1 ] >>= a[ !!0X.1P1 ] )

さらに読みやすいバージョンで、の式[]を解決して、次の値に解決します。

while( a[0] >>= a[1] )

交換a[0]とa[1]同等のは、つまり、それらの値は、ループが何をしているかを把握することは容易にそれを行う必要がありますについて：

int i = 10;
while( i >>= 1)

これは単純に各反復で2による（整数）除算を実行し、シーケンスを生成します5, 2, 1。

左から右に式を見てみましょう：

a[ 0xFULL?'\0':-1:>>>=a<:!!0X.1P1 ]

最初に気づいたのは、の使用から三項演算子を使用していることです?。したがって、部分式：

0xFULL ? '\0' : -1

は、「0xFULLゼロ以外の場合はを返し'\0'、それ以外の場合は-1。0xFULLは、符号なしlong-longサフィックス付きの16進数リテラルですunsigned long long。つまり、のタイプの16進数リテラルであることを意味します。ただし、0xF通常の整数の内部に収まるので、実際には問題ではありません。

また、三項演算子は、第2項と第3項の型を共通の型に変換します。'\0'その後に変換されるintだけです、0。

の値は0xFゼロよりかなり大きいので、合格です。式は次のようになります。

a[ 0 :>>>=a<:!!0X.1P1 ]

次は、:>ある有向グラフ。これは、次のように展開される構成です]。

a[0 ]>>=a<:!!0X.1P1 ]

>>=符号付き右シフト演算子aです。スペースを空けて明確にすることができます。

さらに、次の<:ように拡張されるダイグラフです[。

a[0] >>= a[!!0X.1P1 ]

0X.1P1指数付きの16進リテラルです。しかし、値に関係なく、!!ゼロ以外のすべてのものは真です。0X.1P1は0.125非ゼロなので、次のようになります。

a[0] >>= a[true]
-> a[0] >>= a[1]

>>=符号付き右シフト演算子です。演算子の右側の値だけビットを前方にシフトすることにより、左のオペランドの値を変更します。10バイナリでは1010です。だからここにステップがあります：

01010 >> 1 == 00101
00101 >> 1 == 00010
00010 >> 1 == 00001
00001 >> 1 == 00000

>>=その演算の結果を返すためa[0]、ビットが1つ右にシフトされるたびにシフトがゼロ以外である限り、ループは継続します。4回目の試行は、a[0]がになる場所な0ので、ループには入りません。

その結果、?3回印刷されます。