Yapılar hakkında özel olan nedir?

C'de bir işlevden bir dizi döndüremeyeceğimizi, bir diziye göstericiyi döndüremeyeceğimizi biliyorum. Ancak structs, diziler içerse bile, onları fonksiyonlar tarafından döndürülebilir kılan özel şeyin ne olduğunu bilmek istiyorum .

Neden structsarma aşağıdaki program geçerli kılan?

#include <stdio.h>

struct data {
    char buf[256];
};

struct data Foo(const char *buf);

int main(void)
{
    struct data obj;
    obj = Foo("This is a sentence.");
    printf("%s\n", obj.buf);
    return 0;
}

struct data Foo(const char *buf)
{
    struct data X;
    strcpy(X.buf, buf);
    return X;
}

Aynı soruyu sormanın daha iyi bir yolu, "diziler hakkında özel olan nedir" olacaktır, çünkü diziler kendilerine bağlı olan dizilerdir, structs değil .

İşaretçi ile dizileri geçirme ve döndürme davranışı, C'nin orijinal uygulamasına kadar uzanır. Diziler işaretçilerde "bozunur" ve özellikle dile yeni olan kişiler arasında büyük bir kafa karışıklığına neden olur. Öte yandan yapılar, ints, doubles, vb. Gibi yerleşik türler gibi davranır . Bu, kopyalanmayan esnek dizi üyeleristruct dışında, içine gömülü olan tüm dizileri içerir .

Öncelikle alıntı yapmak C11gerekirse, bölüm §6.8.6.4, returnaçıklama ( vurgu benim )

İfadeli bir returnifade çalıştırılırsa, ifadenin değeri işlev çağrısı ifadesinin değeri olarak çağırana döndürülür .

Yapı değişkeninin döndürülmesi mümkündür (ve doğrudur), çünkü yapı değeri döndürülür. Bu, herhangi bir ilkel veri türünü döndürmeye benzer ( intörneğin, döndürme ).

Bir dönerseniz Öte yandan, dizi , kullanarak return <array_name>, aslında döner birinci elemanın adresini dizisi ait ^NOT dizisi denir işlevlerine yerel olsaydı arayan geçersiz hale gelir. Yani diziyi bu şekilde döndürmek mümkün değildir.

Yani TL; DR , s ile özel bir şey yok struct, özellik dizilerde .

NOT:

C11Tekrar alıntı yapmak , bölüm §6.3.2.1, ( vurgu )

sizeofOperatörün, _Alignofoperatörün veya tekli &operatörün işleneni olduğu veya bir diziyi başlatmak için kullanılan bir dize değişmezi olduğu durumlar dışında, '' dizi türü '' türüne sahip bir ifade, '' türünde bir ifadeye dönüştürülür. dizi nesnesinin ilk öğesine işaret eden ve bir lvalue olmayan '' tipine işaretçi . [...]

Türlerle ilgili özel bir şey yok struct; doğrudan bir işlevden döndürülmelerini engelleyen dizi türlerinde özel bir şey vardır .

Bir structifade, herhangi bir dizi olmayan türden bir ifade gibi ele alınır; değerine göre değerlendirir struct. Böylece şöyle şeyler yapabilirsiniz

struct foo { ... };

struct foo func( void )
{
  struct foo someFoo;
  ...
  return someFoo;
}

İfade , nesnenin değerine göre someFoodeğerlendirilir ; nesnenin içeriği işlevden döndürülür (bu içerikler diziler içerse bile).struct foo

Bir dizi ifadesi farklı şekilde ele alınır; Bu işlenen değilse sizeofya da tekli &türünden ( "bozunmaktadır") "dizisi operatörler ya da bir beyanda bir diziyi başlatmak için kullanılan hazır bir dize değilse, ifade dönüştürülmüş olan T" işaretçi için " T" ve ifadenin değeri, ilk öğenin adresidir.

Dolayısıyla , bir işlevden değere göre bir dizi döndüremezsiniz , çünkü bir dizi ifadesine yapılan herhangi bir başvuru otomatik olarak bir işaretçi değerine dönüştürülür.

Yapılar varsayılan olarak herkese açık veri üyelerine sahiptir, bu nedenle struct durumunda verilere ana olarak erişmek mümkündür, ancak sınıf durumunda değil. Yani, yapı sarma geçerlidir.