DIN61508-3 und SFINAE (substitution failure is not an error)
-
Hallo liebe Community,
Mit SFINAE-Elementen kann ich zur compile-time nicht kompatible templates dem Compiler zurückgeben. Dies wird dann nicht als error interpretiert und trägt eigentlich zur sichereren Codeentwicklung bei. Wenn ich jetzt aber Code sicherheitskritisch nach der DIN61508-3 teste ist das eine Form von unsicherheit und Overhead, dass eigtl. nicht konform ist?
Meine präzise Frage: gibt die DIN61508-3 vor, dass SFINAE Komponenten verboten sind? Wie ist der richtige Umgang in Bezug auf sicherheitskritische Software mit SFINAE Kompenenten: schreibt man unittests, die sowohl die Parameter-Vorgaben erfüllen, als auch Test, wo die templates nicht genutzt werden können?
Kompliziertes Thema aber ich danke für jegliche Hilfe!
-
-
-
Keine weiteren Erkenntnisse?
