Unary +

Question

Sadece şu şaşırtıcı ifadeyi (§13.6/8) draft of the C++11 standard üzerinden tarama ve tespit edilmiştir: Formun aday operatör fonksiyonları vardır mevcut T her türü için

T* operator+(T*); 

İşaretçideki bu "unary +" operatörü nasıl anlaşılmalıdır? Bu, normal durumda, ancak aşırı yüklenebilen bir op-op mu? Yoksa burada daha da eksik olan bir nokta var mı?

Answer 1

Sorunuzun cevabı sen — §13.6/1 anılan alıntı yukarıda sadece bir sayfası:

Madde 5'de tanımlanan yerleşik operatörler Bu alt belirtilen temsil aday operatör fonksiyonları . Bu aday fonksiyonlar, 13.3.1.2'de açıklandığı gibi operatör aşırı yük çözme işlemine katılır ve başka hiçbir amaçla kullanılmaz. [Not: Yerleşik işleçler yalnızca sınıf dışı türdeki işlenenleri aldığından ve operatör aşırı yüklenme özünürlüğü, yalnızca bir işlenen ifadesi başlangıçta sınıf veya numaralandırma türüne sahip olduğunda gerçekleştiğinden, operatör aşırı yükü özünürlüğü yerleşik bir operatöre yalnızca Bir işlenenin, kullanıcı için uygun sınıf dışı bir türe kullanıcı tarafından tanımlanan bir dönüşüme sahip olan bir sınıf türü veya bir işlenenin, operatör için uygun bir türe dönüştürülebilen bir numaralandırma türüne sahip olması durumunda vardır. Ayrıca, bu alt bölümde verilen aday operatör fonksiyonlarının bazılarının yerleşik operatörlerden daha fazla izin verdiğine dikkat ediniz. 13.3.1.2'de açıklandığı gibi, yerleşik bir operatör aşırı yüklenme çözünürlüğü tarafından seçildikten sonra ifade, Madde 5'te verilen yerleşik operatöre ve bu nedenle orada verilen ek anlamsal kısıtlamalara yönelik gereksinimlere tabidir. Yerleşik bir aday operatör işlevi ile aynı ada ve parametre türlerine sahip kullanıcı tarafından yazılmış bir aday varsa, yerleşik operatör işlevi gizlidir ve aday işlevler kümesine dahil edilmez. -end not]

Answer 2

Peki, aşırı yükleyebilirsin, ne istersen onu yap, ama sadece simetri için tekil - operatörle. Bahsettiğiniz gibi, çoğu zaman bir no-op.

Answer 3

işaretçileri + SağDeğerler şeyler dönüm hariç noop olduğunu. Bu diziler çürümeye istiyorsanız bazen kullanışlı veya x bir int*&& değil bir int(&)[3] olduğunu Şimdi

int a[] = { 1, 2, 3 }; 
auto &&x = +a; 

çalışır. Şablonlara x veya +a geçmek istiyorsanız, bu fark önemli olabilir. a + 0 (o sizeof(forward_decl) * N bayt tarafından ilerler çünkü) bir işaretçi şey eklemeden işaretçi en-to sivri sınıf türü tamamen tanımlanmış olması gerekir, çünkü

struct forward_decl; 
extern forward_decl a[]; 
auto &&x = +a; // well-formed 
auto &&y = a + 0; // ill-formed 

son satırı kötü oluşur düşünün her zaman eşdeğer değildir.