Apa yang dimaksud dengan operator >>> = dalam C?

Diberikan oleh seorang rekan sebagai teka-teki, saya tidak tahu bagaimana sebenarnya program C ini mengkompilasi dan berjalan. Apa >>>=operator ini dan 1P1literal aneh ? Saya telah menguji di dentang dan GCC. Tidak ada peringatan dan hasilnya "???"

#include <stdio.h>

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

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

    return 0;
}

Garis:

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

berisi digraf :> dan <:, yang diterjemahkan ke ]dan [masing - masing, sehingga setara dengan:

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

Secara literal 0xFULLsama dengan 0xF(yang merupakan hex untuk 15); yang ULLhanya menetapkan bahwa itu adalah unsigned long longliteral . Bagaimanapun, sebagai boolean itu benar, maka 0xFULL ? '\0' : -1dievaluasi menjadi '\0', yang merupakan karakter literal yang nilai numeriknya sederhana 0.

Sementara itu, 0X.1P1adalah floating point heksadesimal literal sama untuk 2/16 = 0,125. Bagaimanapun, menjadi non-nol, itu juga benar sebagai boolean, jadi meniadakannya dua kali dengan !!menghasilkan lagi 1. Dengan demikian, semuanya disederhanakan menjadi:

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

Operator >>=adalah penugasan majemuk yang menggeser operan kirinya ke kanan dengan jumlah bit yang diberikan oleh operan kanan, dan mengembalikan hasilnya. Dalam hal ini, operan yang tepat a[1]selalu memiliki nilai 1, sehingga setara dengan:

while( a[0] >>= 1 )

atau, yang setara:

while( a[0] /= 2 )

Nilai awal a[0]adalah 10. Setelah bergeser ke kanan sekali, itu menjadi 5, lalu (pembulatan ke bawah) 2, lalu 1 dan akhirnya 0, di mana titik loop berakhir. Jadi, loop body dieksekusi tiga kali.

Ini adalah beberapa kode yang agak kabur yang melibatkan digraf , yaitu <:dan :>yang merupakan token alternatif untuk [dan ]masing - masing. Ada juga beberapa penggunaan operator kondisional . Ada juga operator yang sedikit bergeser , penugasan shift yang tepat >>=.

Ini adalah versi yang lebih mudah dibaca:

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

dan versi yang lebih mudah dibaca, menggantikan ekspresi dalam []untuk nilai-nilai yang mereka tetapkan untuk:

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

Mengganti a[0]dan a[1]untuk nilainya harus membuatnya mudah untuk mengetahui apa yang dilakukan loop, yaitu setara dengan:

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

yang hanya melakukan pembagian (integer) oleh 2 di setiap iterasi, menghasilkan urutan 5, 2, 1.

Mari kita lihat ungkapan dari kiri ke kanan:

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

Hal pertama yang saya perhatikan adalah bahwa kami menggunakan operator ternary dari penggunaan ?. Jadi subekspresi:

0xFULL ? '\0' : -1

mengatakan "jika 0xFULLbukan nol, kembali '\0', jika tidak -1. 0xFULLadalah heksadesimal heksadesimal dengan akhiran panjang-panjang unsigned - yang berarti itu adalah heksadesimal harafiah jenis unsigned long long. Itu tidak terlalu penting, karena 0xFdapat masuk ke dalam bilangan bulat biasa.

Juga, operator ternary mengubah jenis istilah kedua dan ketiga menjadi jenis umum mereka. '\0'kemudian dikonversi menjadi int, yang adil 0.

Nilai 0xFjauh lebih besar dari nol, sehingga melewati. Ekspresi sekarang menjadi:

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

Selanjutnya, :>adalah digraf . Ini adalah konstruksi yang diperluas ke ]:

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

>>=adalah operator shift kanan yang telah ditandatangani, kita dapat mengaturnya aagar lebih jelas.

Selain itu, <:adalah digraf yang diperluas ke [:

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

0X.1P1adalah heksadesimal literal dengan eksponen. Tapi tidak peduli nilainya, !!apa pun yang bukan nol itu benar. 0X.1P1adalah 0.125yang bukan nol, sehingga menjadi:

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

The >>=merupakan operator pergeseran kanan ditandatangani. Ini mengubah nilai operan kirinya dengan menggeser bitnya ke depan dengan nilai di sisi kanan operator. 10dalam biner adalah 1010. Jadi, inilah langkah-langkahnya:

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

>>=mengembalikan hasil operasinya, sehingga selama pergeseran a[0]tetap tidak nol untuk setiap kali bitnya bergeser tepat satu, loop akan terus berlanjut. Upaya keempat adalah di mana a[0]menjadi 0, sehingga loop tidak pernah dimasukkan.

Hasilnya, ?dicetak tiga kali.