Mengapakah C menggunakan sintaks yang sama untuk rujukan rnilai dan rujukan universal?

Mengapa Rvalue dan Rujukan Universal Berkongsi Sintaks

Dalam C, kedua-dua nilai r dan rujukan universal berkongsi sintaks yang sama, dilambangkan dengan T&& . Pilihan ini telah menimbulkan persoalan tentang kemungkinan kekeliruan dan kemungkinan sintaks alternatif.

Rujukan Rvalue

Rujukan Rvalue digunakan untuk menandakan rujukan yang tidak boleh diubah suai kepada rvalue ( ungkapan nilai-kanan). Ia menghalang lnilai (nilai kiri) daripada terikat pada rujukan, seperti yang digambarkan di bawah:

<code class="cpp">void foo(int&amp;&amp; a);

int i = 42;
foo(i); // error</code>

Rujukan Universal

Sebaliknya, rujukan universal boleh terikat kepada kedua-dua nilai r dan lnilai. Ini dicapai melalui potongan hujah templat dan peraturan runtuh rujukan. Pertimbangkan contoh berikut:

<code class="cpp">template<typename T>
void bar(T&amp;&amp; b);

bar(i); // okay</code>

Dalam fungsi bar, parameter templat T boleh disimpulkan sebagai int apabila lulus nilai r, menghasilkan parameter fungsi int&&. Begitu juga, apabila lulus nilai, T boleh disimpulkan sebagai int&, menghasilkan parameter fungsi int&.

Sebab Sintaks Dikongsi

Rasional di sebalik perkongsian sintaks yang sama untuk rvalue dan rujukan universal terletak pada fakta bahawa mereka mengikuti peraturan yang sama untuk potongan hujah dan rujukan runtuh. Ketekalan ini membolehkan penyepaduan lancar rujukan pemajuan (pemajuan sempurna) dalam templat.

Jika sintaks alternatif diterima pakai, seperti T&&&, T&* atau T@, ia akan memperkenalkan kerumitan tambahan ke dalam bahasa. Selain itu, tatatanda alternatif ini memerlukan pengenalan peraturan tatabahasa baharu yang memberikan cabaran dan potensi kekaburan mereka sendiri.

Penolakan Sintaksis Alternatif

Jawatankuasa C menganggap alternatif sintaks tetapi akhirnya menolaknya atas sebab berikut:

• Mereka akan mewujudkan ketidakkonsistenan dalam sistem jenis.
• Mereka akan memperkenalkan kerumitan yang tidak perlu dan berpotensi untuk kekeliruan.
• Mereka akan melanggar prinsip paling tidak mengejutkan, kerana sintaks yang dipilih sejajar dengan peraturan pemotongan dan runtuh.

Ringkasnya, sintaks yang dikongsi antara rvalue dan rujukan universal menyediakan pendekatan yang bersih dan konsisten untuk pengendalian memajukan rujukan dan nilai semantik dalam C . Ketekalan dengan peraturan yang runtuh rujukan menghapuskan keperluan untuk sintaks yang berasingan dan mengekalkan integriti sistem jenis bahasa.

Atas ialah kandungan terperinci Mengapakah C menggunakan sintaks yang sama untuk rujukan rnilai dan rujukan universal?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!