Cocoaheads Smalltalk : objcswitch

.center.middle
## Cocoaheads Smalltalk
# objcswitch

.footnote[[github.com/n-b/objcswitch](http://github.com/n-b/objcswitch)]

---
.center.middle
## Cocoaheads Smalltalk
# objcswitch
*Comment ajouter des fonctionnalités au language  
avec des hacks*

.footnote[[github.com/n-b/objcswitch](http://github.com/n-b/objcswitch)]

---
# Objectif

Comme les switch C :

int foo = ...;
	switch(foo) {
		case 1: ...; break;
		case 2: ...; break;
		case 3: ...; break;
		default: ...;
	}

---
# Objectif

Avec des objets, mais sans les trucs tordus :

id obj = ...;
	switch(obj) {
		case @"foo": {...};
		case [NSNumber numberWithInt:1]: {...};
		case otherObject: {...};
		default: {...};
	}

---
# Objectif

Avec des objets, mais sans les trucs tordus :

id obj = ...;
	switch(obj) {
		case @"foo": {...};
		case [NSNumber numberWithInt:1]: {...};
		case otherObject: {...};
		default: {...};
	}

* Pas de `break;`
* L'expression évaluée peut être n'importe quel objet, statique ou dynamique.
* Chaque case a son propre scope.

---
# Objectif

Avec des objets, mais sans les trucs tordus :

id obj = ...;
	switch(obj) {
		case @"foo": {...};
		case [NSNumber numberWithInt:1]: {...};
		case otherObject: {...};
		default: {...};
	}

* Pas de `break;`
* L'expression évaluée peut être n'importe quel objet, statique ou dynamique.  
* Chaque case a son propre scope.  
   
   
***On ne peut pas écrire ça sans changer le compilateur.***

---
.center.middle
# API
La partie artistique

---
# API

Méthode variadique :

id obj = ...;
    [obj switch:
     @"bar",^{ ... },
     @"foo",^{ ... },
     nil];

---
# API

Avec un object intermédiaire `case` :

@interface case : NSObject
	+ (id) :(id)value_ :(void (^)(void))block;
	@end

et une méthode variadique :

id obj = ...;
    [obj switch:
     [case :@"bar" :^{ ... }],
     [case :@"foo" :^{ ... }],
     nil];

---
# API

Déclaration de plusieurs méthodes :

id obj = ...;
    [obj switch_case:@"bar" :^{ ... }
	            case:@"foo" :^{ ... }
                ...
	 ];

---
# API

Déclaration de plusieurs méthodes :

id obj = ...;
    [obj switch_case:@"bar" :^{ ... }
	            case:@"foo" :^{ ... }
                ...
	 ];

Variante avec block `default:` :

id obj = ...;
    [obj switch_case:@"bar" :^{ ... }
	            case:@"foo" :^{ ... }
                ...
	         default:^{ ... }
	 ];

---
# API

Objet "Switch" intermediaire :

id obj = ...;
	[[obj switch] case:@"bar" :^{ ... }
	              case:@"foo" :^{ ... }
	              ...
	 ];

Variante avec block `default:` :

id obj = ...;
	[[obj switch] case:@"bar" :^{ ... }
	              case:@"foo" :^{ ... }
	              ...
	           default:^{ ... }
	 ];

---
# API
***Il nous faut :***

Une méthode sur NSObject pour obtenir l'objet `switch` :

@interface NSObject (objcswitch)
	- (ObjcSwitch *) switch;
	@end

---
# API
***Il nous faut :***

Une méthode sur NSObject pour obtenir l'objet `switch` :

@interface NSObject (objcswitch)
	- (ObjcSwitch *) switch;
	@end
	
Des méthodes sur `case::case::`, avec et sans block `default:` :

@interface ObjcSwitch : NSObject
	 - (void) case:(id)v :(void (^)(void))b
	          case:(id)v :(void (^)(void))b
	           ...
	          default:(void (^)(void))b;

- (void) case:(id)v :(void (^)(void))b
	          case:(id)v :(void (^)(void))b
	           ...
	          ;
	@end

---
.center.middle
# Implémentation
La partie technique

---
# Implémentation

Une seule fonction sert d'implémentation pour toutes les méthodes.

static void objcswitch(ObjcSwitch * self, SEL _cmd, ...)
	{
		...
	}

---
# Implémentation

Une seule fonction sert d'implémentation pour toutes les méthodes.

static void objcswitch(ObjcSwitch * self, SEL _cmd, ...)
	{
		...
	}

Ajoutée à la demande :

+ (BOOL)resolveInstanceMethod:(SEL)aSEL
	{
		const char* selector = sel_getName(aSEL);
		// Check selector looks like 
		//  case::case::
		// or
		//  case::case::default:
		...
	    class_addMethod(self, aSEL, (IMP) objcswitch, types);
	    return YES;
	}

---
# Implémentation

`_cmd` est utilisé pour connaître le nombre d'arguments.

static void objcswitch(ObjcSwitch * self, SEL _cmd, ...)
	{
		va_list args;
		va_start(args, _cmd);

// Find out number of arguments in our va_list
	    const char* selector = sel_getName(_cmd);
	    BOOL hasDefaultBlock = (strlen(selector) % strlen("case::")) != 0;
	    size_t caseCount = (strlen(selector)-(hasDefaultBlock?strlen("default:"):0))
		                   / strlen("case::");
		
		...

---
# Implémentation

Il ne reste plus qu'à boucler sur les `case:`:

...

for (size_t i=0; i<caseCount; i++)
	    {
	        id value = va_arg(args, id);
	        void (^block)(void) = va_arg(args, void (^)(void));

if ([self->receiver isEqual:value])
	        {
	            block();
	            goto cleanup;
	        }
		}

if(hasDefaultBlock)
	    {
	        void (^block)(void) = va_arg(args, void (^)(void));
	        block();
	    }
    
	cleanup:
		va_end(args); 
	}

---
.center.middle
# Déclaration
La partie gros hack.

---
# Déclaration