Request Short Link
C++ 98
C++ 11
C++ 14
C++ 17
C++ 20
C++ 23
C++ 2c
for-loops as while-loops
array subscription
Show all implicit casts
Show all template parameters of a CallExpr
Use libc++
Transform std::initializer_list
Show noexcept internals
Show padding information
Show coroutine transformation
Show C++ to C transformation
Show object lifetime
Default
15
18
20
22
26
More
GitHub
Patreon
Issues
About
Policies
Examples
C++ Insights @ YouTube
Settings
Version
New C++ Insights Episode
×
Made by
Andreas Fertig
Powered by
Flask
and
CodeMirror
Source:
#include <memory> #include <type_traits> template <auto V> struct nontype_t { explicit nontype_t() = default; }; template <auto V> constexpr nontype_t<V> nontype{}; #include <concepts> template <std::integral T> T generic_fn() { return {42}; } template <auto f> constexpr int non_type_call(nontype_t<f>) { static_assert(std::is_same_v<decltype(f), int(*)()>); return f(); } #include <cassert> int main() { { const auto val = non_type_call(nontype<generic_fn<int>>); assert(val == 42); } }
Insight:
Console: