Objective-C

Objective-C
Entwickler:	Brad Cox, Tom Love
Typisierung:	stark, statisch, explizit
Einflüsse:	Smalltalk, C (Programmiersprache)
Betriebssystem:	Mac OS X, Apple iOS, NeXTStep , von GNUstep unterstützte
Developer documentation

Objective-C, auch kurz ObjC genannt, erweitert die Programmiersprache C um Sprachmittel zur objektorientierten Programmierung. Objective-C ist eine strikte Obermenge von C, das bedeutet, dass jedes C-Programm mit einem Objective-C-Compiler kompiliert werden kann. Objective-C ist die primäre Sprache von Cocoa (Mac OS X) und GNUstep.

Die Syntax und Konzeption der objektorientierten Erweiterungen ist an Smalltalk angelehnt und von der gewöhnlichen prozeduralen C-Syntax strikt getrennt. Diese Trennung erlaubt es, dasselbe Erweiterungskonzept auf andere imperative Sprachen anzuwenden; so gibt es etwa Objective Pascal und Objective-J. Objective-C++ erlaubt teilweise die Mischung von Objective-C mit C++-Code mit dem Ziel, älteren Code verwenden zu können.

Geschichte

Objective-C wurde hauptsächlich von Brad Cox und Tom Love in den 80er Jahren bei PPI, später Stepstone, entwickelt, später dann von NeXT in die GNU Compiler Collection integriert, um als Basis für NextStep zu dienen.

Wesentliche Eigenschaften

Einer der Leitgedanken beim Entwurf von Objective-C war es, sich der Flexibilität von Smalltalk anzunähern, jedoch auf das zu verzichten, was das Laufzeitverhalten verschlechtern könnte. Der offensichtlichste Verzicht gegenüber Smalltalk ist das Fehlen von Blöcken. Daher ist ein Objective-C-Programm bereits zur Übersetzungszeit vollständig kompilierbar. (Soweit zwischenzeitlich Blocks als Closures eingeführt wurden, ändert dies nichts, da es sich um bereits kompilierte Literale handelt.)

Viele Konzepte sind gar nicht in der Sprachdefinition selbst festgelegt, sondern werden erst durch das Framework, also etwa Cocoa oder GNUStep, ermöglicht. Insbesondere ist das gesamte Laufzeitsystem nicht im Compiler implementiert, sondern besteht aus C-Funktionen. In Objective-C wird daher bei Versenden einer Nachricht an ein Objekt die C-Funktion objc_msg_send() aufgerufen. Daher ist eine Darstellung ohne das entsprechende Laufzeitsystem kaum denkbar und nicht sinnvoll. Originäre Objective-C-Schlüsselwörter erkennt man indessen an dem vorangestellten @.

Dynamisches Binden

Die wohl gerade gegenüber C++-Programmen bemerkenswerteste Eigenschaft ist das dynamische Binden von Methoden. Polymorphie ist im Gegensatz zu Sprachen, die auf Simula-67 basieren, nicht nur innerhalb einer Klassenhierarchie möglich, sondern auch darüber hinaus. Eine Methode mit einem bestimmten Namen (Selector) kann von Objekten jeder Klasse ausgeführt werden, die sie implementieren. Es ist nicht erforderlich, dass der Aufrufer die Klasse kennt oder die Methoden bereits in einer Basisklasse – wenn auch nur virtuell – definiert worden sind.

Obwohl beide Implementierungen unabhängig sind und keine entsprechende Methode in der Basisklasse NSObject existiert, wird die Methode jeweils sicher gefunden:

@interface KlasseA : NSObject {
    …
}
- (void) ersteMethode;    // eine Methode in der Subklasse
- (void) zweiteMethode;   // weitere Methode
@end
 
 
@interface KlasseB : NSObject {
    …
} 
- (void) zweiteMethode;   // Es wird nur die zweite Methode implementiert.
@end
 
// Irgendeine Instanz der Klasse A oder B.
id anObject = …
[anObject zweiteMethode];

Nachrichten, die an super (Hier: NSObject) gerichtet sind, unterliegen allerdings nicht dem Dispatching, so dass sie bereits zur Übersetzungszeit vom Compiler der Superklasse zugeordnet werden:

- (id)init {
   self = [super init];   // Ruft stets die Methode der Superklasse auf.
   …
}

Dynamische Typisierung und typloses id

Es ist daher für den Absender nicht notwendig, die Klasse des Empfängers zu kennen. Vielmehr existiert, wie im obigen Code erkennbar, ein Typ id, der für jedes Instanzobjekt jeder Klasse stehen kann. Analoges gilt für den Versand von Nachrichten an Klassenobjekte durch die Typisierung Class. Dabei sei aber erwähnt, dass zwar der Zeiger auf ein Instanzobjekt nicht typisiert ist, um spätes Binden zu ermöglichen. Die einzelnen Instanzen sind jedoch stets typisiert, gehören also genau einer Klasse an. Objective-C typisiert also streng, jedoch dynamisch.

Nachrichten

In Objective-C gibt es eine strikte Trennung von Nachrichten und Methoden. Man spricht daher eigentlich in Objective-C gar nicht von Methodenaufrufen. Vielmehr gibt es einen Nachrichtensender (Sender) und einen Nachrichtenempfänger (Receiver). Allein der Receiver entscheidet anhand der Nachricht, welche Methode ausgeführt wird. Dabei wird zunächst versucht, eine gleichnamige Methode zu finden. Es existiert dazu korrespondierend ein Datentyp SEL (Selector), der einen Nachrichtennamen abbildet. Zur vollständigen Nachricht fehlen dann noch die Parameter und der Empfänger.

SEL nachricht = @selector( dumpToLog );
id anObject = …
[anObject performSelector: nachricht];

Es ist darüber hinaus möglich, Nachrichtennamen erst zur Laufzeit zu erstellen.

// Ein Text, der den Namen einer 1:n-Beziehung enthält.
NSString *relationship = @"Children"; 
 
// Mittels String-Verarbeitung bauen wir uns zur Laufzeit daraus einen Nachrichtentext
NSString *messageText = [NSString stringWithFormat: @"countOf%@", relationship];
 
// Das wird jetzt in eine Nachricht umgewandelt
SEL message = NSSelectorFromString( messageText );
 
// Der Empfänger führt die entsprechende Methode aus:
int countOfInstancesInRelationship = [receiver performSelector: message];

Hieraus ergibt sich die Möglichkeit, in einer IDE ganze Objektgraphen und Bedienungsoberflächen zu gestalten und zu verbinden, ohne dass die Eingabe von Sourcecode durch den Programmierer oder durch die IDE selbst erforderlich ist. Umgekehrt handelt es sich aber um das „normale“ Vorgehen des Dispatchers, sodass kein Aufsatz hierfür erforderlich ist und der Programmierer jederzeit die Kontrolle über die Ausführung jeder Methode behält (Beispielvideo von Apple). In der Realität entfällt damit ein Großteil der Programmierarbeit.

Kategorien

Kategorien sind Erweiterungen bereits bestehender Klassen um weitere Methoden. Hervorzuheben ist hierbei, dass die in den Kategorien enthaltenen Methoden auch Instanzen erweitern, die von fremdem Code erzeugt werden. Dies gilt auch dann, wenn der fremde Code die Kategorie gar nicht kennt.

Wir haben etwa eine Klasse NSNumber, die Zahlen darstellt. Dieser Klasse wollen wir eine Methode hinzufügen, die eine neue Instanz nach Addition einer anderen Instanz von NSNumber liefert. Also schreiben wir hierzu eine Kategorie:

@interface NSNumber (CalculationAddition) 
+ (NSNumber*)numberByAddingNumber:(NSNumber*)summand;
…
@end

@implementation NSNumber (CalculationAddition) 
+ (NSNumber*)numberByAddingNumber:(NSNumber*)summand
{
   // ausgelassen: die eigentliche Addition
   …
   return sum;
}
@end

Die in dieser Kategorie enthaltenen Methoden können verwendet werden, wenn die Kategorie im Sourcecode bekannt ist, in dem die Instanz erzeugt wird. Allerdings fällt hierbei bereits das Fehlen der Subklasse auf:

# import "NSNumberCalculationAddition.h"
…
// Wir erzeugen eine Instanz der Basisklasse NSNumber!
NSNumber* summand1 = [NSNumber numberWithInt:98]; 
NSNumber* summand2 = [NSNumber numberWithInt:11];
NSNumber* summe = [summand1 numberByAddingNumber:summand2];

Dies liegt darin begründet, dass bereits die Basisklasse selbst um die neue Methode erweitert wird, eine Ableitung also nicht notwendig ist.

Darüber hinaus verhält es sich so, dass diese Kategorie auch Instanzen hinzugefügt wird, die aus bestehendem Code stammen und daher unsere nachträglich hinzugefügte Kategorie gar nicht kennen! Wird also etwa in einem Framework, welches vor Jahren entwickelt wurde und dessen Sourcecode uns gar nicht vorliegt, eine Instanz von NSNumber erzeugt, so hat diese ebenfalls die vorgenannte Methode. Damit ist es möglich, vollständig fremden Klassen Methoden hinzuzufügen.

Protokolle

Ähnlich wie in Java mit Interfaces lassen sich in Objective-C Sätze von Methoden in Protokollen zusammenfassen:

@protocol MyDelegateProtocol
    // Instanzen der Klasse FileSystemGuard verschicken diese Nachricht an Delegates
    - (void) fileSystemGuard: (FileSystemGuard *) guard detectedMount: (NSString *) mountPath;
@end

RTTI/Reflexion

Zur Laufzeit wird zu jedem Objekt, mittels RTTI, ein Verweis auf seinen Typ, also die Klasse, mitgeführt. Die Klasse enthält darüber hinaus eine Beschreibung aller Instanzvariablen und implementierten Methoden. Hieran entscheidet der Dispatcher im Receiver, welche Methode er der Nachricht zuordnet. Umgekehrt kann der Absender erfragen, welche Methoden implementiert sind.

// Eine Methode, welche Nachrichten des GUI implementiert
- (IBAction) doSomething: (id) sender {
    // Klassenabfrage: RTTI
    if ([sender isKindOfClass: [NSButton class]]) {
        // Es handelte sich um eine Instanz der Klasse NSButton
        [self doSomethingElseWithInt: [sender tag]];
    }
 
    // Methodenabfrage: Reflexion
    if ([sender respondsToSelector: @selector( tag )]) {
        …
    }
}
 
- (void) setDelegate: (id) delegate {
    // Nur Delegates akzeptieren, die ein Mindestmaß an Methoden implementieren. Der Methodensatz ist 
    // im Protokoll MyDelegateProtocol angegeben.
    if (![delegate conformsToProtocol: @protocol( MyDelegateProtocol )]) {
        …
    }
}

Klassenobjekte

In Objective-C existieren nicht nur Instanzobjekte (kurz: Instanzen), sondern auch Klassenobjekte. Die Bezeichnung „Exemplar einer Klasse“ ist daher in Objective-C mehrdeutig. Klassenobjekte können jedoch keine Member-Variablen enthalten und sind stets Singletons. Klassenmethoden werden durch ein vorangestelltes + gekennzeichnet. Da es sich um Objekte handelt, können diese zugewiesen werden. Sie haben selbst den Typ Class. Es existiert eine Instanzmethode -class und eine Klassenmethode +class, um das Klassenobjekt zu erhalten.

// Eine Variable, die eine Klasse speichert
Class aShapeClass;
 
…
 
// Es können Klassenobjekte zugewiesen werden:
- (void) setShapeClass: (Class) newShapeClass {
    aShapeClass = newShapeClass;
}
 
- (void) addNewShape {
    id shape = [[aShapeClass alloc] init]; // Erzeugung einer Instanz der Klasse Shape
    [shape markForRedraw];
 
    [arrayWithAllShapes addObject: shape];
    …
}

Bemerkenswert ist in diesem Zusammenhang die Eigenschaft, dass es für diese Klassenobjekte einen self-Zeiger gibt, der der Polymorphie zugänglich ist:

@interface Shape : NSObject {
}
+ (NSRect) boundingRectForShapeRect: (NSRect) shapeRect
@end
 
@interface Circle : Shape {
}
@end
 
@implementation Circle;
// Überschreiben einer Klassenmethode der Basisklasse
+ (NSRect) boundingRectForShapeRect: (NSRect) shapeRect {
    // Subklassenmethode
    // Es existiert ein self-Zeiger, der auf Circle oder eine Subklasse von Circle zeigt. 
    [self doSomething]; 
    …
}
@end
 
…
NSRect boundingRect;
 
// Nicht polymorpher Aufruf: Entspricht in etwa Shape::boundingRectForShapeRect() in C++
boundingRect = [Shape boundingRectForShapeRect: aRect]; 
 
Shape *aShape = … // Eine Instanz der Klasse Shape oder einer Subklasse wie Circle
 
// Polymorpher Aufruf einer Klassenmethode
[[aShape class] boundingRectForShapeRect: aRect]:
…

Syntax

Die Syntax von Objective-C erweitert die C-Syntax um objektorientierte Elemente. Diese Syntaxerweiterungen lehnen sich jedoch nicht an die C-Syntax an, wie es etwa viele verbreitete objektorientierte Programmiersprachen tun, sondern an die der Programmiersprache Smalltalk. Der Hintergrund ist, dass der objektorientierte Aufsatz sich grundsätzlich auch mit anderen Programmiersprachen kombinieren lässt, etwa mit Pascal zu Objective-Pascal. Sämtliche neuen Schlüsselwörter sind mit einem voranstehenden @ gekennzeichnet.

Klassendefinition

Um seine eigene Art von Objekten zu erstellen, muss man sie in einer Klasse beschreiben. Dazu wird im @interface-Teil – gewöhnlich in einer Header-Datei – die Klasse und deren Methoden definiert. Hier im Beispiel eine Bruch-Klasse.

// Klassenbezeichnung und Ableitung
@interface Bruch : NSObject < Protokoll >
// Instanzvariablen, für jede Instanz angelegt.
{
    NSInteger zaehler;     
    NSInteger nenner;
}
// Eigenschaften der Instanzen
@property( assign ) NSInteger zaehler;
@property( assign ) NSInteger nenner;
 
// Methoden:
- (void) printLn; 
- (float) floatValue;
@end

Im Einzelnen:

Klassenbezeichnung und Vererbung

@interface Bruch : NSObject < Protokoll >

Jede Klasse hat einen Namen, der konventionsgemäß mit einem Großbuchstaben beginnt und im Camel-Case (neueWoerterErhaltenWiederEinenGroßbuchstaben) fortgeführt wird. Die Bezeichner folgen den C-Regeln, dürfen also insbesondere keine Umlaute enthalten. Durch einen Doppelpunkt getrennt wird sodann die Basisklasse angegeben. Schließlich können in spitzen Klammern Protokolle angegeben werden, deren Implementierung versprochen wird. Handelt es sich um mehrere Protokolle, so sind deren Namen in den Klammern mit Kommata getrennt aufzulisten.

Instanzvariablen

Es folgt in geschweiften Klammern die Liste der Instanzvariablen.

{
    NSInteger zaehler;     
    NSInteger nenner;
}

Diese werden für jede Instanz angelegt. Die Sichtbarkeit lässt sich über Abschnitte mit @public, @private, @protected und @package (nur bei 64-Bit-Laufzeitsystem) steuern. @public bedeutet hierbei, dass jeder auf diese Instanzvariable zugreifen darf, @protected, dass dies nur im Code derselben Klasse oder abgeleiteten Klassen erfolgen darf, @private dass dies nur in derselben Klasse erfolgen darf und @package, dass dies nur in Klassen des Frameworks erfolgen darf. Standard ist @protected, welches wegen anderer Technologien tatsächlich fast immer verwendet wird. Daher enthalten die allermeisten Klassendefinitionen keines der Schlüsselwörter zur Sichtbarkeit.

Properties (Eigenschaften)

Nach den Instanzvariablen ist es seit Objective-C 2 möglich, Eigenschaften (Attribute oder Beziehungen) aufzulisten. Die Definition einer Property hat die Form

@property( Attributliste ) Typ name;

Die Attribute lassen sich hinsichtlich des Schreibschutzes, des Referenzmodelles und der Atomarität unterscheiden.

• Für den Schreibschutz existieren die Attribute readonly und readwrite (Default)
• Atomarität: Durch das Attribut nonatomic wird der Zugriff auf die Eigenschaft für Singlethread-Nutzung optimiert. Standardmäßig sind Eigenschaften sicher für die Verwendung in Multithread-Umgebungen, wofür kein gesondertes Attribut existiert.^[1]
• Die Referenzierung wird über die Wörter assign (Default) als reine Zuweisung im Setter auch dann, wenn der Typ der Property ein Instanzzeiger ist, retain als Referenz im Sinne des Reference-Countings (der Parameter erhält die Nachricht retain) und copy, wenn der Setter eine Kopie anfertigen soll (der Parameter erhält die Nachricht copy), beschrieben.

Werden nur Default-Eigenschaften verwendet, so kann die Attributliste samt Klammer weggelassen werden:

@property NSInteger zaehler;

Wird jedoch der Code mit Referenzzählung als Speichermodell übersetzt und soll eine Eigenschaft mittels assign nur zugewiesen werden, so muss dies, obwohl voreingestellt, explizit angegeben werden. Ansonsten warnt der Compiler. Es bietet sich generell an, bei Instanzenzeigern explizit das Referenzmodell anzugeben, während es bei C-Typen überflüssig ist, da nur assign sinnvoll ist.

@property NSInteger zaehler; // NSInteger ist ein C-Typ.
@property( copy ) NSString* name; // NSString* ist ein Instanzzeiger.

Methodendeklarationen

Als Nächstes folgt eine Liste von Methoden:

- (void) printLn; 
- (float) floatValue;

Jede einzelne Methodendeklaration beginnt zunächst mit einem ‚+‘ (Klassenmethode) oder ‚-‘ (Instanzmethode). Hiernach folgt in Klammern der Typ des Rückgabewertes, wobei wie in C void als Schlüsselwort für keinen Rückgabewert steht. Anschließend folgt der Methodenname, wobei wieder die Regeln für C-Bezeichner gelten. Soll die Methode einen Parameter enthalten, so folgt als Teil des Bezeichners die äußere Beschreibung des ersten Parameters, darauf ein Doppelpunkt, in Klammern der Typ und sodann ein Bezeichner. Folgen weitere Parameter, so werden diese nach einem Leerzeichen wieder mit einem beschreibenden Namen versehen (der auch 0 Zeichen haben kann), worauf wieder ein Doppelpunkt, in Klammern der Typ und sodann ein Bezeichner folgen:

- (id)initWithZaehler:(NSInteger)zaehler andNenner:(NSInteger)nenner;

Abgeschlossen wird die Deklaration mit einem Semikolon.

Die Klassendefinition wird mit @end abgeschlossen.

Implementierung

Die Implementierung steht üblicherweise in einer weiteren Datei, die standardmäßig auf .m endet (Eselsbrücke: iMplementation oder Module). Sie beginnt mit @implementation und endet mit einem @end. Dazwischen werden die Methoden implementiert – gleichgültig, ob im Interface bekannt gemacht oder nicht. Dabei sind Standardmethoden und synthetisierte Methoden (nur Objective-C 2) für Eigenschaften (siehe oben) zu unterscheiden, Standardmethoden entsprechen in ihrem Kopf der Methodendeklaration. Jedoch tritt an die Stelle des Semikolons (das jedoch optional bleibt, unüblich!) die Anweisungsliste in geschweiften Klammern:

- (id)initWithZaehler:(NSInteger)zaehler andNenner:(NSInteger)nenner
{
   // Code hier
}

Es sei darauf hingewiesen, dass die Bezeichner der formalen Parameter nicht denen aus der Methodendeklaration entsprechen müssen. Synthetisierte Methoden sind die Zugriffsmethoden für die Eigenschaften:

@synthesize zaehler, nenner;

Es werden dann Zugriffsmethoden für die im Interface angegebenen Attribute erzeugt. Standardmäßig verwendet der Compiler dabei gleichnamige Instanzvariablen. Dem Programmierer bleibt es aber vorbehalten, selbst diese Methoden auszuformulieren, wobei diese den Namen eigenschaft und setEigenschaft (nur bei readwrite) tragen müssen:

- (NSInteger)zaehler { return zaehler; }
- (void)setZaehler:(NSInteger)value { zaehler = value; }

Eine weitere Möglichkeit besteht darin, dass man eine Eigenschaft mittels @dynamic bezeichnet. In diesem Falle überprüft der Compiler nicht mehr das Vorhandensein in der Implementierung. Man kann also die entsprechenden Methoden zur Laufzeit simulieren oder selbst der Klasse hinzufügen:

@dynamic zaehler; // Zugriffsmethoden werden zur Laufzeit gehandhabt.

Nachrichten

Da Objective-C zwischen Nachricht und Methode unterscheidet, wird für das Versenden von Nachrichten keine an den C-Funktionsaufruf angelehnte Syntax verwendet. Vielmehr erfolgt der Versand in der Form:

[Objekt Nachricht]

Soll eine Nachricht an ein Klassenobjekt verschickt werden, damit eine Klassenmethode ausgeführt wird, so schreibt man einfach die Klasse als Empfänger hin:

Bruch* bruch = [Bruch alloc]; // +alloc ist Klassenmethode

Bei Nachrichten an die Instanzmethode wird deren Zeiger verwendet: [bruch initWithZaehler:3 andNenner:4]; Wie ersichtlich, werden dabei die Parameter eingesetzt und mittels Leerzeichen, nicht Komma, getrennt. Nachrichten können auch verschachtelt werden. Z. B.

NSString *string = @"Hallo Welt";
NSData *data = [NSData dataWithBytes:[string cString] length:[string cStringLength]];

Hiermit wird ein neues Objekt der Klasse NSData erstellt. Die Bytes, die in das neue Objekt kopiert werden, werden mit [string cString] erfragt, die Länge des Blocks mit [string cStringLength].

Es werden also die Rückgabewerte der Methoden verwendet. Dies geht auch beim Empfänger, zum Beispiel:

Bruch* bruch = [[Bruch alloc] init]

Das Objekt, das mit [Klasse alloc] erzeugt wurde, bekommt die Botschaft init.

Locking

Objective-C bietet eine Syntax für Locks bei Threading an. Hierzu wird ein Code-Abschnitt mit dem Schlüsselwort @synchronized eingeleitet, welches als Parameter ein Objekt als Lock erhält:

@synchronized( anInstance ) {
   // Exklusiver Code für den Lock anInstance
}

Exceptions

Exceptionhandling erfolgt in Objective-C mittels @try, @catch, @finally und @throw;

@try {
   // Code, der eine Exception auslösen könnte
}
// Klasse von Exceptions, die gefangen werden sollen
@catch( NSException* exception ) {
   // Code, wenn eine Exception auftrat
}
@finally {
  // Code, der in jedem Falle ausgeführt wird
}

Geworfen wird eine Exception – unmittelbar mit Sprachmitteln – mittels des Schlüsselwortes @throw; Durch Angaben verschiedener Klassen kann man sowohl auf derselben Ebene wie auch in Hierachien bestimmt werden, welcher Klasse eine Exception sein soll, die gefangen wird. Im @catch-Block kann die Exception erneut geworfen werden und wird dann von einem äußeren Exceptionhandler behandelt.

Klassenobjekte

Objective-C besitzt so genannte Klassenobjekte. Dies bedeutet: Nicht nur die Instanzen, sondern auch die Klassen sind Objekte und können Nachrichten empfangen, wie oben [Klasse alloc]. – Zum Instanzieren sind damit keine zusätzlichen Sprachelemente wie Konstruktoren und Schlüsselwörter nötig.

In der Klassendefinition werden Klassenmethoden mit ‚+‘, Instanzmethoden mit ‚-‘ gekennzeichnet.

+alloc ist kein Bestandteil der Sprachbeschreibung, sondern eine – beliebige – Methode des Frameworks und daher der eigenen Implementierung zugänglich. Die Methode zu überschreiben ist jedoch nur für Experten eine gute Idee. Ganz im Gegensatz dazu ist die Methode +initialize, die vor Verwendung einer Klasse aufgerufen wird, standardmäßig leer und kann für klassenbezogene Vorauseinstellungen überschrieben werden.

Typkonzept

Objective-C fügt zu den Standard-C-Datentypen den Datentyp id hinzu. Ein Objekt des Types id ist irgendein Objekt. Was mit diesem Objekt angefangen werden kann, wird erst zur Laufzeit bestimmt. Hierzu existieren Methoden, etwas über das Objekt zu erfahren. Wichtig sind:

• [obj class]               // bestimmt die Klasse
  

• [obj respondsToSelector:] // bestimmt, ob eine Methode vorhanden ist
  

• [obj conformsToProtocol:] // bestimmt, ob ein Protokoll implementiert ist
  

Das Typkonzept erlaubt zudem die Typisierung des allgemeinen Objektes oder anderer Objekte durch (formale) Protokolle. Diese legen einen Satz von Methoden fest. Auch diese Protokolle müssen nicht in einem Hierarchiebaum einheitlich sein, werden aber vererbt.

Die Typfreiheit erlaubt die Erstellung allgemeiner Container, die im Unterschied zu generischen Containern in Sprachen wie C++ und Java auch typgemischt (heterogen) sein können.

NSMutableDictionary *meineWelt = [[NSMutableDictionary alloc] init];
// Eine Map mit einem String, einer URL und einem Wert
[meineWelt setObject: @"Ein Text" forKey: @"Text"];
[meineWelt setObject: [NSURL URLWithString: @"www.example.com"] forKey: @"URL"];
[meineWelt setObject: [NSNumber numberWithInt: 3] forKey: @"Zahl"];
// Alle Objekte implementieren die Methode description
NSLog( @"%@", [meineWelt objectForKey: @"Text"] );
NSLog( @"%@", [meineWelt objectForKey: @"URL"] );
NSLog( @"%@", [meineWelt objectForKey: @"Zahl"] );
[meineWelt release];

Ausgabe: Ein Text www.example.com 3

Spätes Binden

Objective-C bindet einen Methodenaufruf erst zur Laufzeit an eine Methode. Grundsätzlich ist dies auch in C++ so. Jedoch muss in C++ bereits zur Übersetzungszeit sichergestellt sein, dass eine Methode existiert, weil sie zu der Klassenhierarchie gehört. C++ ist also nur bereit, innerhalb eines Zweiges einer Hierarchie spät zu binden, während Objective-C dies unabhängig von der Stellung einer Klasse in einem Hierarchiebaum macht. Dies soll an einem Syntax-neutralen Beispiel verdeutlicht werden:

 Klasse A
   methode()
 Klasse B von Klasse A
   methode()
 Klasse C
   methode()
 ...

Spätes Binden in C++

 A* objekt = new B;
 objekt->methode();             // Ruft in Wahrheit B::methode auf
 delete objekt;
 objekt = new C;                // Führt zu Fehlern, da typfremd.
 objekt->methode();             // Auch mit casting geht dies nicht, weil methode()
                                // in einem anderen Zweig des Baumes auftaucht,
                                // obwohl C::methode() sehr wohl existiert

Spätes Binden in Objective C

 id objekt = [[B alloc] init];  // id bedeutet „Irgend ein Objekt“
 [objekt methode];              // Funktioniert, weil B methode() kennt
 [objekt release];
 objekt = [[C alloc] init];
 [objekt methode];              // Funktioniert auch, weil C die methode() kennt
                                // Wo sie in der Klassenhierarchie bekannt ist,
                                // spielt keinerlei Rolle

Zu diesem Zweck führt Objective-C zur Laufzeit umfangreiche Informationen über ein Objekt mit, was über RTTI hinausgeht. Aus dem letztlich gleichen Grunde ist es auch ohne weiteres möglich, zur Laufzeit erst eine Methode zu bestimmen. Die Methode kann sich ähnlich wie bei einem Methodenzeiger in einer Variablen befinden, die erst zur Laufzeit mit einem Wert besetzt wird:

methode = @selector( eineMethode );
[objekt performSelector: methode]; // Ruft die Methode eineMethode auf
methode = @selector( andereMethode );
[objekt performSelector: methode]; // Ruft andereMethode auf

Von dieser Technik macht etwa Cocoa bei der Bindung von Interface-Elementen an Methoden regen Gebrauch. Die Bestimmung der Methode kann auch durch ihren Klarnamen erfolgen.

Programmbeispiel

NSMutableDictionary *aDictionary = [[NSMutableDictionary alloc] init];
 
[aDictionary setObject: @"foo" forKey: @"Foo"];
[aDictionary setObject: @"bar" forKey: @"Bar"];
[aDictionary setObject: @"Hallo Welt!" forKey: @"Hello, world!"];
 
NSLog([aDictionary objectForKey: @"Hello, world!"]);
 
[aDictionary release];

Ausgabe: Hallo Welt!

Objective-C++

Objective-C++ ist ein Frontend der GNU Compiler Collection das Quellen übersetzen kann, die sowohl C++- als auch Objective-C-Syntax verwenden. Objective-C++ versucht nicht, die unterschiedlichen Konzepte der beiden Sprachen zu vereinheitlichen. Vielmehr erweitert es lediglich C++ um die Erweiterungen, die Objective-C zu C hinzufügt. Dies führt zu gewissen Einschränkungen:

• C++-Klassen können nicht von Objective-C-Klassen erben.
• Umgekehrt können Objective-C-Klassen auch nicht von C++-Klassen erben.
• Innerhalb einer Objective-C-Deklaration kann man keine C++-Namensräume deklarieren.
• C++-Klassen, die keinen Defaultkonstruktor haben, oder die virtuelle Funktionen haben, können nicht als Instanzvariablen einer Objective-C-Klasse verwendet werden. Wohl aber kann man Zeiger auf solche Klassen verwenden.
• Objective-C-Objekte können nicht als Wertparameter verwendet werden, da sie nur über Zeiger ansprechbar sind.
• Objective-C-Deklarationen können nicht in C++-Template-Deklarationen benutzt werden, und umgekehrt. Jedoch können Objective-C-Typen (wie z. B. Klassenname *) als C++-Template-Parameter benutzt werden.
• Die Ausnahmebehandlungsmechanismen von Objective-C und C++ sind voneinander unabhängig; Ein Objective-C-Exception-Handler kann keine C++-Exceptions auffangen und umgekehrt. Dies gilt allerdings nicht mehr für das 64-Bit-Runtime von Objective-C 2.0, da hier das Exceptionkonzept von C++ übernommen wurde.
• Besondere Vorsicht erfordert die Tatsache, dass die Konventionen zum Aufruf von Destruktoren nicht kompatibel sind. So wird etwa ein C++-Destruktor nicht aufgerufen, wenn der Gültigkeitsbereich des C++-Objekts mittels einer Objective-C-Ausnahme verlassen wird.

Ein typischer Anwendungsbereich von Objective-C++ ist zum Beispiel die Verwendung einer C++-Bibliothek in einer Objective-C-Anwendung.

Objective-C 2.0

Im Oktober 2007 hat Apple mit Mac OS X 10.5 Objective-C 2.0 ausgeliefert, eine Erweiterung von Objective-C, die „moderne Garbage Collection, Syntaxerweiterungen, Verbesserungen der Laufzeitleistung und 64-Bit-Unterstützung umfasst“.^[2]

Die GNU Laufzeitumgebung für Objective-C unterstützt diese Erweiterungen seit GCC 4.6.

Garbage Collection

GNUstep hat in alten Versionen den Garbage Collector von Hans Boehm unterstützt, dieser ist jedoch inkompatibel zu Apples Implementierung. Leopard und GNUstep enthalten einen optionalen konservativen Garbage Collector für Objective-C 2.0.

Properties

Objective-C 2.0 führt eine neue Syntax ein, mit der man Instanzvariablen als Properties deklarieren kann. Die Syntax unterstützt optionale Attribute, welche die Zugriffsmethoden näher definieren: Eine Property kann als readonly deklariert werden, und kann mit verschiedenen Verhaltensregeln zur Speicherverwaltung wie assign, copy oder retain versehen werden.

@interface Person : NSObject {
    @public NSString *name;
    @private int age;
}
@property(copy) NSString *name;
@property(readonly) int age;
-(id)initWithAge:(int)age;
@end

Properties werden mit dem Schlüsselwort @synthesize implementiert, welches Getter und Setter-Methoden gemäß der Property-Deklaration erzeugt. Alternativ kann man auch das Schlüsselwort @dynamic verwenden, um anzuzeigen, dass man diese Methoden selber implementiert. Im Falle des folgenden Beispiels ist es jedoch optional, da der Compiler die Implementierung der Akzessoren bemerkt. Wichtiger ist das Schlüsselwort @dynamic, wenn die Akzessoren erst zur Laufzeit erzeugt werden. Denn hier würde der Compiler eine entsprechende Definition vermissen und eine Warning ausgeben. Dies ist etwa bei Managed Objects der Fall, die zur Laufzeit Akzessoren aus der geladenen Beschreibungsstruktur der Entität erzeugen.

@implementation Person
@synthesize name;
@dynamic age;
-(id)initWithAge:(int)initAge
{
    age = initAge; // Dies ist ein direkter Zugriff auf die Instanzvariable, der Property-Setter wird hier nicht verwendet
    return self;
}
-(int)age
{
    return 29;     // Beispiel: lügt bezüglich des Alters
}
@end

Dot-Notation

Auf Akzessoren, gleichgültig ob explizit definiert oder über eine Property angelegt, kann mit der aus anderen Sprachen bekannten Punkt-Notation zugegriffen werden. Hierbei erfolgt allerdings kein unkontrollierter Zugriff auf die Instanzvariable, sondern es werden die Akzessoren -eigenschaft und set- Eigenschaft verwendet:

Person *aPerson = [[Person alloc] initWithAge: 53];
aPerson.name = @"Steve"; // Punkt-Notation, verwendet den Setter
NSLog(@"Zugriff per Getter (%@), Property-Name (%@) und Direktzugriff auf die Instanzvariable (%@)",
      aPerson.name, [aPerson valueForKey:@"name"], aPerson->name);

Um die Punktnotation innerhalb einer Instanzmethode zu verwenden, benutzt man das Schlüsselwort self:

-(void) introduceMyselfWithDotNotation
{
    NSLog(@"Hallo, mein Name ist %@.", self.name); // verwendet Getter
    NSLog(@"Hallo, mein Name ist %@.", name); // Direktzugriff auf die Instanzvariable
}

Auf die Eigenschaften einer Instanz kann auch dynamisch per Reflexion zugegriffen werden:

int i, propertyCount = 0;
objc_property_t *propertyList = class_copyPropertyList([aPerson class], &propertyCount);
for (i=0; i<propertyCount; i++) {
    objc_property_t *thisProperty = propertyList + i;
    const char* propertyName = property_getName(*thisProperty);
    NSLog(@"Person hat eine Property: '%s'", propertyName);
}

Schnelle Enumeration

Objective-C 2.0 stellt die for-in-Syntax zur Verfügung, um durch eine Kollektion zu iterieren. Die folgende Schleife:

Person* person;
NSEnumerator* personsEnum = [thePeople objectEnumerator]; // NSArray, NSSet, NSDictionary
while( (person = [personsEnum nextObject]) ) {
    NSLog(@"%@ ist %i Jahre alt.", [person name], [person age]);
}

kann daher in Objective-C 2.0 kürzer so formuliert werden:

for (Person *p in thePeople)
    NSLog(@"%@ ist %i Jahre alt.", [p name], [p age]);

Folgen für die Cocoa-Entwicklung

In Objective-C geschriebene Mac-OS-X-Anwendungen, die diese Objective-C-2.0-Verbesserungen benutzen, sind mit Versionen von Mac OS X vor 10.5 (Leopard) inkompatibel.

Vergleich zu anderen Programmiersprachen

C++

Obwohl beide Sprachen in C einen gemeinsamen Vorfahren haben, ergeben sich insbesondere aus dem späten Binden und der Möglichkeit, Klassen und Nachrichten zur Laufzeit zu erstellen, erhebliche Konzeptunterschiede.

Funktionalitätsspezialisierung

Ein häufiges Grundproblem der klassenbasierten Programmierung ist die Spezialisierung einer Standardfunktionalität. Das Mittel der Wahl ist in C++ meist die Ableitung. Hiergegen wird eingewendet, dass bei der Ableitung "Innereien" der Basisklasse bekannt werden (White-Boxing). Demgegenüber lässt sich in Objective-C leicht das Delegating implementieren, welches eine Funktionsspezialisierung durch Nachfrage bei einem Objekt einer anderen Klasse zulässt. Die zu spezialisierende Klasse bleibt also gekapselt (Black-Boxing).

Dies sei an einem Beispiel verdeutlicht: Es sei ein Tableview (eine Darstellung einer Tabelle mit Zeilen und Spalten im UI), welches Selektion zulässt. Man nehme ferner an, dass bei der Selektion eine zentrale Methode -selectRow: aufgerufen wird. Diese ist berechtigt, die Selektion abzulehnen.

Bei einer Lösung mittels Ableitung würde man die Methode -selectRow: in einer Subklasse MyTableView : NSTableView spezialisieren:

- (BOOL)selectRow:(NSInteger)rowIndex
{
  // Die erste Zeile gruppiert nur und darf nicht selektiert werden.
  if( rowIndex == 0 ) {
    return NO;
  } else {
    return YES;
  }
}

Bei einem Delegate befragt indessen das Tableview sein Delegate. Dieses ist von irgendeiner Klasse:

- (BOOL)tableview:(NSTableView*)tableView shouldSelectRow:(NSInteger)rowIndex 
{
  // Die erste Zeile gruppiert nur und darf nicht selektiert werden.
  if( rowIndex == 0 ) {
    return NO;
  } else {
    return YES;
  }
}

Der gleiche Code wird also aus der Klasse ausgelagert. Ähnlich wie bei der Ableitung ist dabei die Implementierung einer Delegate-Methode in der Regel ein Angebot, keine Pflicht. In diesem Falle würde also das Tableview nachfragen, ob sein Delegate die Methode -tableView:shouldSelectRow: implementiert:

// Pseudocode NSTableView.m
- (BOOL)selectRow:(NSInteger)rowIndex {
   SEL method = @selector( tableView:shouldSelectRow: );
 
   // Nur bei Implementierung
   if( [delegate respondsToSelector:method] ) {
      return [delegate tableView:self shouldSelectRow:rowIndex];
   // Standardverhalten
   } else {
      return YES;
   }
}

Diese Fähigkeit von Objective-C wird in weiten Teilen von Cocoa ausgenutzt.

Funktionalitätserweiterung

Auch die Erweiterung einer bestehenden Klassenfunktionalität wird in C++ häufig über Subklassen implementiert. Objective-C bietet demgegenüber Kategorien als Lösungsmöglichkeit an. Hierbei wird nachträglich der Methodensatz einer Klasse erweitert.

Literatur

• Amin Negm-Awad und Christian Kienle: Objective-C und Cocoa Band 2: Fortgeschrittene. 1. Auflage. SmartBooks Verlag, 2010, ISBN 978-3-9084-9784-4.
• Amin Negm-Awad und Christian Kienle: Xcode, Objective-C und Cocoa. 1. Auflage. 2009. in: Horst-Dieter Radke (Hrsg.): Automatisierung und Anwendungsentwicklung auf dem Mac – Einführungen. 1 Auflage. SmartBooks Publishing AG, 2009, ISBN 978-3-9084-9798-1.
• Amin Negm-Awad: Objective-C und Cocoa Band 1: Grundlagen. 2./4. Auflage. SmartBooks Verlag, 2009, ISBN 978-3-9084-9782-0.
• Cocoa: Progammierung für Mac OS X, 3. Ausgabe, Aaron Hillegass, Mitp-Verlag, 2008, Deutsch, ISBN 3-8266-5960-0
• Programming in Objective-C, Stephen Kochan, Sams, 2003, Englisch, ISBN 0-672-32586-1
• Object-Oriented Programming and the Objective C Language, NeXTSTEP Developers Library Release 3, Addison-Wesley, 1993, ISBN 0-201-63251-9, 240 Seiten
• Object-Oriented Programming: an evolutionary approach, Brad J. Cox and Andrew J. Novobilski, Addison-Wesley, 1986, 1991 (2nd Edition), ISBN 0-201-54834-8, 270 Seiten. Einführung vom Autor dieser Sprache.

Siehe auch

• Cocoa-Framework
• Xcode

Weblinks

 Wikibooks: Objective-C und das Cocoa-Framework – Lern- und Lehrmaterialien

• Einstieg in Objective-C im Mac OS X Entwicklerforum Wiki
• Introduction to The Objective-C Programming Language (Apple Developer Connection)
• Object-Oriented Programming and The Objective-C Language
• Object Oriented Programming in Objective-C
• Objective-C FAQ
• Objective-C: Links, Resources, Stuff

Tutorials

• Properties für Accessoren
• Absolute Beginner – Einführung in Objective-C, Cocoa und Xcode
• Objective-C Beispielcode-Schnipsel zu verschiedenen Themen
• Xcode von NULL auf Hundert - Videopodcast für Einsteiger in die iPhone- und Mac-Programmierung

Einzelnachweise

1. ↑ http://developer.apple.com/mac/library/documentation/Cocoa/Conceptual/ObjectiveC/Articles/ocProperties.html#//apple_ref/doc/uid/TP30001163-CH17-SW28 Apple - The Objective-C Programming Language: Declared Properties
2. ↑ http://developer.apple.com/leopard/overview/objectivec2.html Apple - Objective-C 2.0 Overview