Dlaczego C++ nie obsługuje funkcji zwracających tablice?

C++ GO obsługuje-no cóż:

vector< string> func()
{
   vector<string> res;
   res.push_back( "hello" );
   res.push_back( "world" );
   return res;
}

Nawet C go wspiera:

struct somearray
{
  struct somestruct d[50];
};

struct somearray func()
{
   struct somearray res;
   for( int i = 0; i < 50; ++i )
   {
      res.d[i] = whatever;
   }
   // fill them all in
   return res;
}

A std::string jest klasą, ale kiedy mówisz ciąg znaków, prawdopodobnie masz na myśli literał. Możesz bezpiecznie zwracać literal z funkcji, ale w rzeczywistości możesz statycznie utworzyć dowolną tablicę i zwrócić ją z funkcji. Byłoby to bezpieczne dla wątków, gdyby była to tablica const (tylko do odczytu), co ma miejsce w przypadku liter ciągów.

Tablica, którą zwracasz, ulegnie degradacji do wskaźnika, więc nie być w stanie obliczyć jego rozmiar już po powrocie.

Zwrócenie tablicy, jeśli byłoby to możliwe, musiałoby mieć stałą długość w pierwszej kolejności, biorąc pod uwagę, że kompilator musi utworzyć stos wywołań, a następnie ma problem, że tablice nie są wartościami l, więc otrzymanie jej w funkcji wywołującej musiałoby użyć nowej zmiennej z inicjalizacją, co jest niepraktyczne. Zwrot może być również niepraktyczny z tego samego powodu, chociaż mogli użyć specjalnej notacji do zwrotu wartości.

Pamiętaj, że na początku C wszystkie zmienne musiały być zadeklarowane u góry funkcji i nie można było zadeklarować po prostu pierwszego użycia. W tym czasie było to niewykonalne.

Dali obejście wprowadzenia tablicy do struktury i tak musi teraz pozostać w C++, ponieważ używa tej samej konwencji wywołania.

Uwaga: w językach takich jak Java, tablica jest klasą. Tworzysz nowy. Możesz je przypisać (są wartościami l).

Tablice w C (i w C++ dla kompatybilności wstecznej) mają specjalną semantykę, która różni się od pozostałych typów. W szczególności, podczas gdy dla pozostałych typów, C ma tylko semantykę pass-by-value, w przypadku tablic efekt składni pass-by-value symuluje pass-by-reference w dziwny sposób:

W sygnaturze funkcji argument typu Tablica N elementów typu T jest zamieniana na wskaźnik na t. W wywołaniu funkcji przekazującej tablicę jako argument do funkcji spowoduje rozpad tablicy na wskaźnik do pierwszego elementu , a wskaźnik ten zostanie skopiowany do funkcji.

Z powodu tego szczególnego traktowania tablic --nie mogą być przekazywane przez wartość--, nie mogą być również zwracane przez wartość. W C możesz zwrócić wskaźnik, a w c++ również referencję, ale sama tablica nie może być przydzielona do stosu.

Jeśli myślisz o tym, to nie różni się to od języka, którym jesteś używając w pytaniu, ponieważ tablica jest przydzielana dynamicznie i zwracasz tylko wskaźnik / odniesienie do niej.

Język C++, z drugiej strony, umożliwia różne rozwiązania tego konkretnego problemu, jak użycie std::vector w bieżącym standardzie (zawartość jest alokowana dynamicznie) lub std::array w nadchodzącym standardzie (zawartość może być alokowana w stosie, ale może to mieć większy koszt, ponieważ każdy element będzie musiał zostać skopiowany w przypadkach, gdy kopia nie może zostać skopiowana przez program. kompilator). W rzeczywistości można użyć tego samego typu podejścia z aktualnym standardem, używając gotowych bibliotek, takich jak boost::array.

"nie możesz zwrócić tablicy z funkcji, ponieważ tablica ta byłaby deklarowane wewnątrz funkcji, a jej lokalizacja byłaby wtedy stos rama. Jednak ramka stosu jest usuwana po zakończeniu funkcji. Funkcje muszą kopiowanie zwracanej wartości z ramki stosu do miejsce powrotu, a to nie możliwe z tablicami."

Z dyskusji tutaj:

Http://forum.codecall.net/c-c/32457-function-return-array-c.html

Inni mówili, że w C++, jeden używa wektora zamiast tablic odziedziczonych po C.

Więc dlaczego C++ nie pozwala zwracać tablic C? Ponieważ C nie.

Dlaczego C nie? Ponieważ C wyewoluowało z B, nietypowanego języka, w którym zwracanie tablicy nie ma żadnego sensu. Podczas dodawania typów do B, byłoby sensowne, aby umożliwić zwrócenie tablicy, ale nie zostało to zrobione w celu utrzymania niektórych idiomów B i ułatwienia konwersji programów z B do C. I od tego czasu odmówiono możliwości uczynienia tablic C bardziej użytecznymi, jak zawsze (a jeszcze bardziej, nawet nie rozważano), ponieważ złamałoby to zbyt wiele istniejącego kodu.

Możesz zwrócić wskaźnik do tablicy. Tylko uważaj, żeby później uwolnić pamięć.

public std::string* funcarray() {
    std::string* test = new std::string[2];
    test[0] = "hi";
    test[1] = "hello";
    return test;
}

// somewhere else:
std::string* arr = funcarray();
std::cout << arr[0] << " MisterSir" << std::endl;
delete[] arr;

Lub możesz po prostu użyć jednego z kontenerów w przestrzeni nazw std, jak std:: vector.

"dlaczego C++ nie obsługuje czegoś takiego": bo to nie miałoby sensu. W językach referencyjnych, takich jak JAVA czy PHP, zarządzanie pamięcią opiera się na usuwaniu śmieci. Części pamięci, które nie mają referencji (Żadna zmienna w programie nie wskazuje na nią więcej) są automatycznie zwalniane. W tym kontekście można przydzielić pamięć i przekazać referencję wokół carefreely.

Kod C++ zostanie przetłumaczony na kod maszynowy i nie ma w nim zdefiniowanego GC. Czyli w C i C++ istnieje silne poczucie własności bloków pamięci. Musisz wiedzieć, czy wskaźnik, który wybierzesz, jest twój do uwolnienia w dowolnym momencie (w rzeczywistości ty shoud uwolnij go po użyciu), Czy masz wskaźnik do współdzielonej części pamięci, która jest absolutnym Nie-Nie do uwolnienia.

W tym środowisku nie wygrasz nic z kreowaniem nieskończonych kopii tablicy za każdym razem, gdy przechodzi ona do iz funkcji. Bardziej skomplikowanym zadaniem jest zarządzanie tablicami danych w językach podobnych do C. Tam nie jest uniwersalnym rozwiązaniem i musisz wiedzieć, kiedy zwolnić pamięć.

Czy tablica zwracana przez funkcję jest zawsze kopią (Twoją do wolnej) czy trzeba ją kopiować? Whet czy wygrasz poprzez wstawienie tablicy wskaźnika do tablicy?

Zwraca std::vector<> zamiast tablicy. Ogólnie rzecz biorąc, tablice nie działają dobrze z C++ i generalnie należy ich unikać.

Ponadto, typ danych string nie jest tylko tablicą znaków, chociaż "cytowany ciąg" jest. string zarządza tablicą znaków i możesz uzyskać do niej dostęp za pomocą .c_str(), ale to nie wszystko.

Sprawdź tutaj. Bardzo pomocne.

• Jak zwrócić tablicę z funkcji?
• C++ zwracająca tablicę wielowymiarową z funkcji
• Return 2D array from function in C++

Wszystkie te odpowiedzi nie mają sensu. C++ po prostu go nie obsługuje. Nie obsługiwał nawet sposobu zwracania tablicy o rozmiarze statycznym przed std::array<T, N>. C++ Może wspierać zwracanie nawet tablic o dynamicznej wielkości, ale tak nie jest. jestem pewien, że są powody, dla których można się bronić, ale mogą.

Wystarczy przydzielić dynamiczną tablicę na stosie, zwrócić jej adres i rozmiar oraz upewnić się, że wywołujący uderza wskaźnik stosu aż do końca zwracanej tablicy. Być może jakiś stack ramki mocowanie zrobić, ale w żaden sposób niemożliwe.