Bir katkı ifadesinin ilk işleneni hem işaretçi hem de tamsayıya dönüştürülebilirse, hangi dönüşüm seçilir?

Question

Aşağıdaki örnekte hangi dönüştürme işlevi çağrılmalıdır? Neden diğeri üzerinde seçilmeli?

struct A 
{ 
    operator int(); 
    operator int*(); 
}; 

A x; 
int i = x + 1; 

derleyici operator int() seçer .. ama neden? İşte

bazı alakalı C++ gelen 03 tırnak gibidir: Ek için [expr.add]

itibaren

ya her iki işlenen aritmetik veya numaralandırma türünü sahip olacaktır, ya da bir işlenen bir olacaktır Tamamen tanımlanmış bir nesne tipine ve diğerine işaretçi entegre veya numaralandırma tipine sahip olmalıdır. Birkaç bağlamlarda [dönüşüm] Belirli bir tip

ifadeler örtük diğer türleri dönüştürülecektir itibaren

:

• operatörlerin işlenen olarak kullanıldığında. işlenenlerinden için operatörün gereksinimleri hedef türü dikte

Answer 1

Bu davranışın nedeni yerleşik onun sol işlenen olarak bir işaretçi kabul operatörü onun sağ işlenen olarak tip std::ptrdiff_t bir nesnesi kabul olmasıdır . Bu, C++ 11 standardın § 13.6 belirtilen: her bir ev nitelikli veya ev-olumlu bir amacı T türü için

şeklinde

T * operator+(T *, std::ptrdiff_t); 

[aday motor fonksiyonlarını orada var .. .] 1 yana

int tip vardır, derleyici gördüğü yerleşik bu onlys bir (kullanıcı tanımlı) conver gerektirdiğinden, daha iyi bir seçenek olarak iki int s alır operator + ilk argüman için sion. İşte

int i = x + static_cast<std::ptrdiff_t>(1); // AMBIGUOUS! 

bir live example şudur: operator + sağ işlenen olarak tip std::ptrdiff_t bir argüman sağlamışsa

, bekleneni belirsizlik görecekti.