Speicherverwaltung

322 · 27. Oktober 2011, 22:29

Hallo,

mit folgender Methode erzeuge ich alle CGColors in meinen Programm:

Quellcode

- (CGColorRef)CreateDeviceRGBColor:(CGFloat)r green:(CGFloat) g blue:(CGFloat)b alpha:(CGFloat)a{
CGColorSpaceRef rgb = CGColorSpaceCreateDeviceRGB();
CGFloat comps[] = {r, g, b, a};
CGColorRef color = CGColorCreate(rgb, comps);
CGColorSpaceRelease(rgb);
return color;}

die Methode wird wie so aufgerufen:

Quellcode

...
CGColorRef color =[self CreateDeviceRGBColor:0.2 green:0.2 blue:0.2 alpha:0.2];
layer.shadowColor =color;...

anschließend wird die color released

Quellcode

CFRelease(color);

und genau hier liegt mein Problem.

Der Analyzer gibt folgende Wahrung aus:

"incorrect decrement of the reference count of an object that is not owned at this point by the caller"

Was mache ich falsch?

gritsch · 27. Oktober 2011, 22:57

liegt wohl am methoden-name. der analyzer denk denkt dass dir das objekt nicht gehört was es aber tut.

322 · 27. Oktober 2011, 23:07

es wird einfach nicht langweilig

Amin Negm-Awad · 27. Oktober 2011, 23:22

Er wird auch nie etwas Anständiges denken können, wenn du den Methodennamen groß schreibst.

Speziell für diesen Fall gibt es aber Modifier. Schau dir die Doku zu ARC noch einmal an.

Thallius · 27. Oktober 2011, 23:23

Ne e

gritsch schrieb:

liegt wohl am methoden-name. der analyzer denk denkt dass dir das objekt nicht gehört was es aber tut.

Ne, eigentlich hat dr analyzer recht. Das object gehört der Methode die es erzeugt hat. Freigegeben wird es aber in der Methode die die Methode aufruft die es erzeugt. Also eigentlich nicht oop gerecht

Gruß

Claus

gritsch · 27. Oktober 2011, 23:25

Thallius schrieb:

Ne e

gritsch schrieb:

liegt wohl am methoden-name. der analyzer denk denkt dass dir das objekt nicht gehört was es aber tut.

Ne, eigentlich hat dr analyzer recht. Das object gehört der Methode die es erzeugt hat. Freigegeben wird es aber in der Methode die die Methode aufruft die es erzeugt. Also eigentlich nicht oop gerecht

Gruß

Claus

deswegen müsste der methodenname auch anders lauten dass der analyzer das auch versteht (woher sollte er es sonst wissen)

Amin Negm-Awad · 27. Oktober 2011, 23:44

CF_RETURNS_RETAINED sollte es tun. Mal probieren.

Bei richtiger Benamsung ist es wohl so, dass jedenfalls der Analyzer undokumentiert die CF-Benamsung auch auf Methoden anwendet. Dann könntets du mal probieren, das Create klein zu schreiben oder etwas vor das Create zu setzen, meinetwegen kjhsdf. Aber das ist wie gesagt nicht dokumentiert.

322 · 27. Oktober 2011, 23:47

ich habe mit einer weiteren Methode das selbe Problem:

- (CGPathRef)getPath: (NSArray * )arrayPathValue{

... path_Erzeugung nach Parametern...

return path;
}

der Methodennamen taugt als alleinige Erklärung also nicht.

Aber wie soll man denn ein CG..Ref zurückgeben und es anschießend korrekt releasen?

Amin Negm-Awad · 27. Oktober 2011, 23:49

Noch einmal: Saubere Methode dürfte CF_RETURNS_RETAINED sein. Google mal danach.

Wenn du das undokumentierte (wohl) bestehende Feature nutzen möchtest, müsste die Methode -pathCreate heißen. Get ist ohnehin ganz falsch. Lies hierzu noch einmal die Cocoa-Namensregeln.

Amin Negm-Awad · 27. Oktober 2011, 23:50

Attribute 'cf_returns_retained' (Clang-specific)

The GCC-style (Clang-specific) attribute 'cf_returns_retained' allows one to annotate an Objective-C method or C function as returning a retained Core Foundation object that the caller is responsible for releasing.
clang-analyzer.llvm.org/annota…#attr_cf_returns_retained

Ah, dort ist übrigens auch das Feature dokumentiert:
Treating the function as if it its name contained the keywords "create" or "copy".
Stimmt nicht, weil der Text nur C-Funktionen betrifft. Es bleibt also undokumentiert.

gritsch · 28. Oktober 2011, 00:32

warum? steht doch hier:

You own any object you create
You create an object using a method whose name begins with “alloc”, “new”, “copy”, or “mutableCopy”

Amin Negm-Awad · 28. Oktober 2011, 01:00

gritsch schrieb:

warum? steht doch hier:

You own any object you create
You create an object using a method whose name begins with “alloc”, “new”, “copy”, or “mutableCopy”

Nur Objective-C-Objekte unterliegen dem ARC. "object" in diesem Satz bedeutet Objective-C-Object.

Mit CF-"Objekten" hat das ARC von Objective-C nichts am Hut.

Das ist ja der Grund, warum es CF_RETURNS_RETAINED et al. gibt und NS_RETURNS_RETAINED et al. Man kann das nicht über einen Kamm scheren. Steht aber auch alles im verlinkten Dokument.

gritsch · 28. Oktober 2011, 07:57

Amin Negm-Awad schrieb:

gritsch schrieb:

warum? steht doch hier:

You own any object you create
You create an object using a method whose name begins with “alloc”, “new”, “copy”, or “mutableCopy”

Nur Objective-C-Objekte unterliegen dem ARC. "object" in diesem Satz bedeutet Objective-C-Object.

Mit CF-"Objekten" hat das ARC von Objective-C nichts am Hut.

Das ist ja der Grund, warum es CF_RETURNS_RETAINED et al. gibt und NS_RETURNS_RETAINED et al. Man kann das nicht über einen Kamm scheren. Steht aber auch alles im verlinkten Dokument.

wo steht hier was von ARC?

hier gehts doch nur um den analyzer und um methodennamen anhand er den besitzer eines objektes erkennt.

Amin Negm-Awad · 28. Oktober 2011, 10:30

gritsch schrieb:

Amin Negm-Awad schrieb:

gritsch schrieb:

warum? steht doch hier:

You own any object you create
You create an object using a method whose name begins with “alloc”, “new”, “copy”, or “mutableCopy”

Nur Objective-C-Objekte unterliegen dem ARC. "object" in diesem Satz bedeutet Objective-C-Object.

Mit CF-"Objekten" hat das ARC von Objective-C nichts am Hut.

Das ist ja der Grund, warum es CF_RETURNS_RETAINED et al. gibt und NS_RETURNS_RETAINED et al. Man kann das nicht über einen Kamm scheren. Steht aber auch alles im verlinkten Dokument.

wo steht hier was von ARC?

hier gehts doch nur um den analyzer und um methodennamen anhand er den besitzer eines objektes erkennt.

ARC und Analyzer sind dasselbe. Die Idee von ARC ist es, die Warnings des Analyzers nicht zu loggen, sondern es einfach gleich richtig zu machen. Deshalb sind die Bedinungen, unter denen der Analyzer meckert dieselben, wie die Bedingungen, unter denen ARC nicht funktioniert. (Wobei das dann eben auch vom Analyzer angemeckert wird. Es wäre doch auch reichlich komisch, wenn du etwas mit ARC richtig machst und der Analyzer es anmeckert oder wenn du etwas mit ARC falsch machst und der Analyzer es nicht anmeckert. Immerhin haben die beide dieselbe Funktion: Speicherverwaltungsregeln einzuhalten, was die Namensregeln beinhaltet.)

Das Problem ist hier, dass der Returnwert ein CF-Objekt ist. Ein CF-Objekt wird /nicht/ behandelt. Es gibt keine offizielle Regel, welche Bedeutung welcher Methodenname hat, wenn ein CF-Objekt zurückgegeben wird. Es gibt nur Regeln,

- welche Bedeutung ein Methodenname hat, wenn er ein Objective-C-Objekt zurückgibt,
- welche Bedeutung ein Funktionsname hat, wenn er ein CF-Objekt zurückgibt.

Hier haben wir den Fall, dass eine Methode (oben 1) ein CF-Objekt (oben 2) zurückgibt. Dieser Fall ist nicht dokumentiert, wenngleich es wohl – ich habe es nicht überprüft, mich interessiert es auch nicht, weil ich mich nicht auf undokumentierte Features verlasse – so ist, dass ARC (also der Analyzer) dann den Methodennamen wie eine C-Funktionsnamen behandelt. Der richtige Namensbestandteil wäre dann also Create und Copy, nicht Alloc und Copy. (Ja, Copy ist bei beiden gleich.) Das ist aber nicht dokumentiert, wie gesagt.

Dokumentiert und dafür vorgesehen ist der Modifier CF_RETURNS_RETAINED.

Wieso liest du nicht einfach die Doku, die ich verlinkt habe?

gritsch · 28. Oktober 2011, 10:42

wo hast du gelesen dass das bei einem CF-Typ-Rückgabewert anders ist?

nennt man die methode newDeviceRGBColor dann hat er nichts zu meckern (warum auch?)

Amin Negm-Awad · 28. Oktober 2011, 10:53

In dem verlinkten Dokument. Dort heißt es, dass CF-Objekte nicht offiziell behandelt werden. Deshalb gibt es ja CF_RETURNS_RETAINED.

gritsch · 28. Oktober 2011, 11:08

The analyzer supports the proper management of retain counts for both Cocoa and Core Foundation objects. This checking is largely based on enforcing Cocoa and Core Foundation naming conventions for Objective-C methods (Cocoa) and C functions (Core Foundation). Not strictly following these conventions can cause the analyzer to miss bugs or flag false positives.

Amin Negm-Awad · 28. Oktober 2011, 11:23

Boah, so schwer ist das doch nicht. Als Rückgabewerte von Methoden.

Es gibt nur Regeln,

- welche Bedeutung ein Methodenname hat, wenn er ein Objective-C-Objekt zurückgibt,
- welche Bedeutung ein Funktionsname hat, wenn er ein CF-Objekt zurückgibt.

Alkles andere ist nciht offiziell dokumentiert.

gritsch · 28. Oktober 2011, 11:23

Amin Negm-Awad schrieb:

Es gibt nur Regeln,

- welche Bedeutung ein Methodenname hat, wenn er ein Objective-C-Objekt zurückgibt,
- welche Bedeutung ein Funktionsname hat, wenn er ein CF-Objekt zurückgibt.

wo steht das? zitiere doch mal die entsprechende doku-stelle!

Amin Negm-Awad · 28. Oktober 2011, 11:32

Ich habe sie dir sogar tief verlinkt:

1.
The GCC-style (Clang-specific) attribute 'cf_returns_retained' allows one to annotate an Objective-C method or C function as returning a retained Core Foundation object that the caller is responsible for releasing.

2.
Placing on Objective-C methods: With respect to Objective-C methods., this attribute is identical in its behavior and usage to 'ns_returns_retained' except for the distinction of returning a Core Foundation object instead of a Cocoa object. This distinction is important for two reasons:

- […]
Because Core Foundation is a C API, the analyzer cannot always tell that a pointer return value refers to a Core Foundation object. In contrast, it is trivial for the analyzer to recognize if a pointer refers to a Cocoa object (given the Objective-C type system).

3.
Placing on C functions: When placing the attribute 'cf_returns_retained' on the declarations of C functions, the analyzer interprets the function as:

- […]
- Treating the function [Nicht: Methode] as if it its name contained the keywords "create" or "copy". This means the returned object as a +1 retain count that must be released by the caller, either by sending a release message (via toll-free bridging to an Objective-C object pointer), calling CFRelease (or similar function), or using CFMakeCollectable to register the object with the Objective-C garbage collector.

Wie man leicht sehen kann, gbt es in dem Abschnitt CF-Objekt für Methoden anders als im CF-Abschnitt CF-Objekt für Funktionen /keine/ Namensregel. Dass das wohl ganz gut funktioniert, hatte ich schon ein paar Mal erwähnt. Es ist aber nicht dokumentiert.
Unmittelbar darunter gibt es ein explizites Beispiel mit richtigem Vorgehen und falschem Vorgehen:
Richtig:

Brainfuck-Quellcode

CF_RETURNS_RETAINED // <<<<---------<<<<<<------
CFDateRef returnsRetainedCFDate() {
return CFDateCreate(0, CFAbsoluteTimeGetCurrent());
}

Villeicht klickst du mal auf den Link und liest ihn. Soll ich es dir auch noch übersetzen?