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 <vector> #include <type_traits> #include <iostream> template<class Feature, class... FeatureList> struct has_feature { static constexpr bool value = (std::is_same_v<Feature, FeatureList> || ...); }; template<class Feature, class... FeatureList> inline constexpr bool has_feature_v = has_feature<Feature,FeatureList...>::value; template<class... FeatureList> struct Robot { Robot() = default; template<class Feature> static constexpr bool isConfiguredWith() { return has_feature_v<Feature,FeatureList...>; } }; struct CanWalk {}; struct CanNotWalk {}; struct CanFly {}; struct CanNotFly {}; int main() { Robot<CanWalk,CanNotWalk,CanFly,CanNotFly> x; std::cout << x.isConfiguredWith<CanNotFly>() << '\n'; }
Insight:
Console: