foonathan/type_safe

Health v2 · maintenance only

Adoption not part of the score

1649 stars · 128 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A C++ library providing zero-overhead abstractions that leverage the type system to prevent bugs at compile time. It offers improved wrappers for built-in types, vocabulary types like non-null references, and enhanced optional/variant implementations.

Use cases

• prevent integer overflow and lossy conversion bugs at compile time
• enforce non-null pointers in C++ APIs
• replace raw bool parameters with expressive flag types
• get a space-efficient optional type with no overhead
• make C++ APIs safer using strong typedefs
• constrain values with validated types

When to choose

• you write modern C++ and want compile-time prevention of common bugs like uninitialized values or lossy conversions
• you need zero runtime overhead in release builds while keeping debug-mode assertions
• you want safer alternatives to std::optional, std::variant, and raw pointers

When to avoid

• you work in a language other than C++
• you need runtime type safety or dynamic validation rather than compile-time guarantees
• your codebase cannot adopt C++11 or newer standards

Facets

library · maturity active

type-system error-handling programming-languages developer-tools cpp cross-platform type-safety zero-overhead vocabulary-types strong-typedefs header-only optional variant algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="foonathan/type_safe")