Clifford’s Device: Effiziente Code-Blöcke mit C-/C++-Tricks

Clifford’s Device, auch als Claire’s Device bekannt, ist eine wenig bekannte, aber mächtige Technik in C und C++, die Entwicklern hilft, Codeblöcke gezielt zu steuern. Im Gegensatz zu Duff’s Device, das auf Fall-Through-Mechanismen von case-Anweisungen setzt, nutzt Clifford’s Device die Kombination aus if(0) und goto, um Code nur bei expliziter Anforderung auszuführen. Diese Methode eignet sich besonders für temporäres Deaktivieren von Codeabschnitten ohne vollständige Löschung – ein Szenario, das in der Softwareentwicklung regelmäßig auftritt.

Warum Clifford’s Device nützlich ist

In der Praxis steht man oft vor der Herausforderung, Code vorübergehend auszukommentieren, ohne ihn dauerhaft zu löschen. Traditionelle Ansätze wie #if 0 oder if(0) { ... } deaktivieren zwar den Code, erfordern aber bei erneuter Aktivierung manuelle Anpassungen. Clifford’s Device bietet hier eine elegantere Alternative: Durch die Verwendung eines Labels und goto lässt sich der Code gezielt ansteuern, während die restliche Logik unberührt bleibt.

Ein klassisches Beispiel ist die Behandlung fehlender Argumente in Kommandozeilen-Optionen. Statt den Fehlercode direkt zu platzieren, kann ein Label definiert werden, das nur bei Bedarf angesprungen wird:

void cli_options_init(int *pargc, char const **pargv[]) {
    for (;;) {
        if (option->has_arg == required_argument) {
            if (optarg == NULL) goto missing_arg;
            SKIP_WS(optarg);
            if (optarg[0] == '\0') goto missing_arg;
        }
        switch (opt) {
            case ':': goto missing_arg;
        }
    }
    return;

missing_arg:
    fatal_error(EX_USAGE, "\"%s\" requires an argument\n", get_opt_format(opt == ':' ? optopt : opt));
}

Hier wird der Block missing_arg nur ausgeführt, wenn ein erforderliches Argument fehlt. Der Rest des Codes bleibt unberührt, was die Lesbarkeit und Wartbarkeit erhöht.

Die Macro-Variante für sauberen Code

Die direkte Verwendung von goto und Labels ist zwar funktional, aber nicht immer intuitiv. Eine bessere Lösung bietet ein Makro, das die Syntax vereinfacht:

#define only_if(LABEL) if (0) LABEL:

Damit lässt sich der Codeblock prägnanter formulieren:

only_if(missing_arg) {
    fatal_error(EX_USAGE, "\"%s\" requires an argument\n", get_opt_format(opt == ':' ? optopt : opt));
}

Das Makro only_if verbirgt die technische Komplexität und macht den Code für andere Entwickler verständlicher. Der Label wird dabei vor der geschweiften Klammer platziert, was syntaktisch korrekt ist, da eine { ... }-Struktur in C als Statement gilt.

Anwendung in switch-Anweisungen

Clifford’s Device lässt sich auch in switch-Konstrukten einsetzen, um das umständliche break zwischen case-Blöcken zu vermeiden. Jeder case- oder default-Block kann mit einem Label versehen und über only_if angesteuert werden:

switch (c) {
    only_if(case '\0') {
        // Code für Null-Terminierung
    }
    only_if(case '=') {
        // Code für Gleichheitszeichen
    }
    only_if(default) {
        // Standardbehandlung
    }
}

Diese Technik eliminiert zwar die Notwendigkeit von break-Anweisungen, ist aber in der Praxis selten sinnvoll. Die gewohnte Fall-Through-Logik in switch-Blöcken ist zwar umstritten, aber vertrauter für die meisten Entwickler. Clifford’s Device in switch-Kontexten bleibt daher eher eine curiosity als eine Empfehlung für den produktiven Einsatz.

Wann Clifford’s Device sinnvoll ist – und wann nicht

Clifford’s Device ist eine elegante Lösung für spezifische Szenarien, etwa das temporäre Deaktivieren von Codeblöcken oder die strukturierte Fehlerbehandlung. Es kombiniert die Präzision von goto mit der Flexibilität von Labels, ohne die Lesbarkeit stark zu beeinträchtigen – vorausgesetzt, es wird mit Bedacht eingesetzt.

Allerdings sollte man die Technik nicht überstrapazieren. In komplexen Projekten kann übermäßiger Einsatz von goto zu unübersichtlichem Code führen. Zudem ist die Technik weniger bekannt, was die Wartung für neue Teammitglieder erschweren könnte. Für temporäre Debugging-Zwecke oder in klar abgegrenzten Codebereichen lohnt sich der Einsatz jedoch durchaus.

Langfristig bleibt Clifford’s Device eine interessante Kuriosität der C-/C++-Welt – ein Werkzeug, das Entwickler kennen sollten, aber mit Bedacht anwenden müssen.