Jak odróżnić ciąg przeróbek od literału literowego?

Question

Czy istnieje sposób (w czystej C), aby odróżnić ciąg ed z malloc ed z literału ciągu, nie wiedząc, który jest który? Ściśle mówiąc, próbuję znaleźć sposób na sprawdzenie zmiennej, czy jest to ciąg przerobiony, czy nie, a jeśli tak, to go uwolnię; jeśli nie, odpuszczę.

Oczywiście, mogę kopać kod do tyłu i upewnić się, czy zmienna jest malloc ed czy nie, ale tylko w przypadku, jeśli istnieje prosty sposób ...

EDIT: linie dodany do kwestii bardziej konkretny.

char *s1 = "1234567890"; // string literal 
char *s2 = strdup("1234567890"); // malloced string 
char *s3; 
... 
if (someVar > someVal) { 
    s3 = s1; 
} else { 
    s3 = s2; 
} 
// ... 
// after many, many lines of code an algorithmic branches... 
// now I lost track of s3: is it assigned to s1 or s2? 
// if it was assigned to s2, it needs to be freed; 
// if not, freeing a string literal will pop an error 

Answer 1

Czy istnieje sposób (w czystym C), aby odróżnić malloced ciąg z ciągiem dosłownym,

Nie w każdym przenośnym sposób, no. Nie musisz się jednak martwić; istnieją lepsze alternatywy.

Kiedy piszesz kod w C, robisz to, jednocześnie robiąc silne gwarancje "kto" jest właścicielem pamięci. Czy dzwoniący jest właścicielem? Wtedy ich obowiązkiem jest zwolnić go. Czy właściciel jest właścicielem? Podobna rzecz.

Piszesz kod, który jasno określa łańcuch kontroli i prawo własności i nie napotykasz problemów takich jak "kto zwalnia?" Nie powinieneś czuć potrzeby, aby powiedzieć:

// after many, many lines of code an algorithmic branches... 
// now I forgot about s3: was it assigned to s1 or s2? 

Rozwiązaniem jest; nie zapomnij! Masz kontrolę nad swoim kodem, po prostu spójrz trochę na stronę. Zaprojektuj go tak, aby był odporny na kulki, przed wypuszczeniem pamięci do innych funkcji bez wyraźnego zrozumienia, że ​​"hej, możesz to przeczytać, ale nie ma gwarancji, że będzie on ważny po X lub Y. To nie jest twoja pamięć, traktuj to jako takie . "

A może to twoja pamięć. Przykładem; twój telefon do strdup. strdup załóżmy, że (poprzez dokumentację) Twoim obowiązkiem jest zwolnić ciąg, który ci zwraca. Sposób, w jaki to robisz, zależy od ciebie, ale najlepiej jest ograniczyć jego zakres tak, aby był tak wąski, jak to możliwe, i utrzymywać go tylko przez tak krótki czas, jak to konieczne.

Potrzeba czasu i praktyki, aby stać się drugą naturą. Stworzysz kilka projektów, które poradzą sobie z pamięcią słabo, zanim się poprawisz. W porządku; twoje błędy na początku nauczą cię, co dokładnie zrobić, a unikniesz powtórzenia ich w przyszłości (miejmy nadzieję!).

Również, jak @Lasse nawiązywał do komentarzy, nie masz martwić się o s3, który jest kopią wskaźnika, a nie całą porcją pamięci. Jeśli zadzwonisz za darmo na s2 i s3, otrzymasz nieokreślone zachowanie.

Answer 2

Oto praktyczny sposób:

Chociaż C-język standardowy nie dyktować to, identycznych dla wszystkich wystąpień danego ciągu w dosłownym kodu, kompilator generuje jedną kopię wewnątrz RO- sekcja danych obrazu wykonywalnego.

Innymi słowy, każde wystąpienie ciągu "1234567890" w kodzie jest tłumaczone na ten sam adres pamięci.

więc w miejscu, gdzie chcesz cofnąć przydział ten ciąg, można po prostu porównać swój adres z adresem dosłownym ciąg "1234567890":

if (s3 != "1234567890") // address comparison 
    free(s3); 

Aby to podkreślić jeszcze raz, że nie narzuca standard języka C, ale jest praktycznie zaimplementowany przez każdy przyzwoity kompilator języka.

---

UPDATE:

Wyżej jest tylko praktyczny trik odnosząc się bezpośrednio do kwestii pod ręką (zamiast motywacji za to pytanie).

Ściśle mówiąc, jeśli osiągnąłeś punkt w swojej implementacji, w którym musisz rozróżnić między statycznie przydzielonym ciągiem a dynamicznie przydzielonym łańcuchem, to zgaduję, że twój początkowy projekt jest wadliwy gdzieś wzdłuż linii.