cpp type-safe