Sabit bağımsız değişkenin değerini const referansı ile döndürmek uygun mudur?

Aşağıdaki örneklerde olduğu gibi const referansıyla varsayılan bağımsız değişkenin değerini döndürmek uygun mudur:

https://coliru.stacked-crooked.com/a/ff76e060a007723b

#include <string>

const std::string& foo(const std::string& s = std::string(""))
{
    return s;
}

int main()
{
    const std::string& s1 = foo();
    std::string s2 = foo();

    const std::string& s3 = foo("s");
    std::string s4 = foo("s");
}

Kodunuzda, hem s1ve s3sarkan referanslardır. s2ve s4iyiyim.

İlk çağrıda, std::stringvarsayılan bağımsız değişkenten oluşturulan geçici boş nesne, çağrıyı içeren ifade bağlamında oluşturulur. Bu nedenle, sarkan s1bırakan tanımının sonunda ölecektir s1.

İkinci çağrıda, geçici std::stringnesne başlatmak için kullanılır s2, sonra ölür.

Üçüncü çağrıda, dizgi değişmezi "s"geçici bir std::stringnesne oluşturmak için kullanılır ve bu da tanımlamanın sonunda sarkan s3bırakarak ölür s3.

Dördüncü çağrıda, std::stringdeğeri olan geçici nesne "s"başlangıç ​​durumuna getirilir s4ve sonra ölür.

Bkz. C ++ 17 [class.temporary] /6.1

Bir işlev çağrısındaki (8.2.2) bir referans parametresine bağlı geçici bir nesne, çağrıyı içeren tam ifadenin tamamlanmasına kadar devam eder.

Öyle güvenli değil :

Genel olarak, bir geçidin ömrü "geçirilerek" daha fazla uzatılamaz: geçicinin bağlı olduğu referanstan başlatılan ikinci bir referans, ömrünü etkilemez.

Daha sonra dize ile ne yaptığınıza bağlıdır.

Sorunuz kodum doğru ise?o zaman evet öyle.

Kaynaktan [dcl.fct.default] / 2

[ Örnek : Beyan

void point(int = 3, int = 4);

int türünde sıfır, bir veya iki bağımsız değişkenle çağrılabilen bir işlevi bildirir. Aşağıdaki yollardan biriyle çağrılabilir:

point(1,2);  point(1);  point();

Son iki çağrı sırasıyla point(1,4)ve ile eşdeğerdir point(3,4). - son örnek ]

Yani kodunuz etkili bir şekilde aşağıdakilere eşdeğerdir:

const std::string& s1 = foo(std::string(""));
std::string s2 = foo(std::string(""));

Tüm kodlarınız doğru, ancak dönüş türünün bir referans olması nedeniyle bu durumların hiçbirinde referans ömür boyu uzantısı yok.

Geçici olan bir işlevi çağırdığınız için, döndürülen dizenin ömrü ifadeyi uzatmaz.

const std::string& s1 = foo(std::string("")); // okay

s1; // not okay, s1 is dead. s1 is the temporary.

Örneğin s2, doygunluğun bitiminden önce geçici olandan kopyaladığınız (veya taşıdığınız) ile örnek tamam. s3ile aynı soruna sahip s1.