## Adakah Mengikat Rujukan Const kepada Subbahagian Objek Sementara Memanjangkan Jangka Hayatnya?

Bolehkah rujukan const kepada sub-bahagian objek sementara memanjangkan hayat objek?

Pertimbangkan coretan kod berikut:

<code class="c++">#include <stdio.h>

struct P2d {
    double x, y;
    P2d(double x, double y) : x(x), y(y) {}
    ~P2d() { printf("Destructor called\n"); }
};

P2d center() {
    return P2d(10, 10);
}

int main(int argc, const char *argv[]) {
    const double& x = center().x;
    printf("x = %.18g\n", x);
    return 0;
}</code>

Bila disusun dengan GCC 5.2.0, contoh sementara P2d dimusnahkan sebelum memasuki panggilan printf dalam utama. Walaupun begitu, nilai x dipelihara dan dicetak dengan betul. Dalam erti kata lain, daripada mengikat x terus kepada ahli x sementara P2d, gandaan sementara kedua dicipta untuk menyalin nilai ahli.

Sebaliknya, Clang memanjangkan hayat sementara P2d kepada seumur hidup daripada rujukan x, menyebabkan pemusnah dipanggil selepas printf dalam utama.

Ini menimbulkan persoalan: adakah tingkah laku ini pepijat dalam GCC atau dibenarkan oleh standard?

Analisis

CWG 1651 menangani isu ini:

The resolution of issues 616 and 1213, making the result of a member access or subscript expression applied to a prvalue an xvalue, means that binding a reference to such a subobject of a temporary does not extend the temporary's lifetime. [class.temporary] should be revised to ensure that it does.

Pada masa ini, [class.temporary]/5 menyatakan: "Konteks kedua ialah apabila rujukan terikat kepada sementara. " Ini telah ditafsirkan untuk digunakan hanya pada rujukan yang mengikat terus kepada objek sementara. Oleh itu, dalam coretan kod di atas, center().x dianggap sebagai prvalue (oleh kedua-dua Clang dan GCC), dan [class.temporary]/5 tidak berkenaan.

Walau bagaimanapun, GCC dan Clang mempunyai belum melaksanakan resolusi DR 1651, iaitu N3918. Resolusi ini dengan jelas menyatakan bahawa "akses ahli dan ungkapan subskrip yang digunakan pada ungkapan sementara menghasilkan ungkapan sementara," dan menambah bahawa "objek sementara yang sepadan (jika ada) berterusan untuk sepanjang hayat rujukan."

Oleh itu, berdasarkan perkataan N3918, nampaknya Clang sedang melaksanakan gelagat yang dimaksudkan, manakala GCC tidak. DR 60297 menyatakan bahawa GCC tidak memanjangkan hayat untuk subobjek skalar sementara, kerana ia tidak dilindungi oleh [dcl.init.ref]/(5.2.1.1).

Ringkasnya, gelagat semasa dalam GCC ialah betul mengikut perkataan semasa standard, tetapi piawaian itu mungkin akan disemak untuk memerlukan lanjutan seumur hidup dalam kes ini. Clang sudah pun melaksanakan gelagat masa hadapan yang dijangkakan.

Atas ialah kandungan terperinci ## Adakah Mengikat Rujukan Const kepada Subbahagian Objek Sementara Memanjangkan Jangka Hayatnya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!