@@ -481,8 +481,7 @@ template<class Class, class Registry>
481481struct is_virtual <virtual_ptr<Class, Registry, void >> : std::true_type {};
482482
483483template <class Class , class Registry >
484- struct is_virtual <virtual_ptr<Class, Registry, void >&> : std::true_type {
485- };
484+ struct is_virtual <virtual_ptr<Class, Registry, void >&> : std::true_type {};
486485
487486template <class Class , class Registry >
488487struct is_virtual <const virtual_ptr<Class, Registry, void >&> : std::true_type {
@@ -1955,32 +1954,32 @@ template<typename...>
19551954constexpr bool false_t = false ; // workaround before CWG2518/P2593R1
19561955
19571956template <typename T, class Registry , typename = void >
1958- struct check_method_parameter : std::true_type {};
1957+ struct validate_method_parameter : std::true_type {};
19591958
19601959template <typename T, class Registry , typename U>
1961- struct check_method_parameter <virtual_<T>, Registry, U> : std::false_type {
1960+ struct validate_method_parameter <virtual_<T>, Registry, U> : std::false_type {
19621961 static_assert (false_t <T>, " virtual_traits not specialized for type" );
19631962};
19641963
19651964template <typename T, class Registry >
1966- struct check_method_parameter <
1965+ struct validate_method_parameter <
19671966 virtual_<T>, Registry,
19681967 std::void_t <typename virtual_traits<T, Registry>::virtual_type>>
19691968 : std::bool_constant<
19701969 has_vptr_fn<virtual_type<T, Registry>, Registry> ||
19711970 Registry::rtti::template is_polymorphic<virtual_type<T, Registry>>> {
19721971 static_assert (
1973- check_method_parameter ::value,
1972+ validate_method_parameter ::value,
19741973 " virtual_<> parameter is not a polymorphic class and no "
19751974 " boost_openmethod_vptr is applicable" );
19761975};
19771976
19781977template <class Class , class Registry >
1979- struct check_method_parameter <virtual_ptr<Class, Registry>, Registry, void >
1978+ struct validate_method_parameter <virtual_ptr<Class, Registry>, Registry, void >
19801979 : std::true_type {};
19811980
19821981template <class Class , class Registry , class MethodRegistry >
1983- struct check_method_parameter <
1982+ struct validate_method_parameter <
19841983 virtual_ptr<Class, Registry>, MethodRegistry, void > : std::false_type {
19851984 static_assert (
19861985 false_t <Class, Registry, MethodRegistry>, " registry mismatch" );
@@ -2199,8 +2198,8 @@ class method<Id, ReturnType(Parameters...), Registry>
21992198 mp11::mp_list<Parameters...>, detail::is_virtual>::value;
22002199
22012200 // sanity checks
2202- static_assert (
2203- ( detail::check_method_parameter <Parameters, Registry>::value && ...));
2201+ static_assert ((
2202+ detail::validate_method_parameter <Parameters, Registry>::value && ...));
22042203 static_assert (Arity > 0 , " method has no virtual parameters" );
22052204
22062205 type_id vp_type_ids[Arity];
@@ -2623,13 +2622,13 @@ struct same_reference_category {
26232622 std::is_rvalue_reference<U>::value);
26242623};
26252624template <class T1 , class T2 , typename = void >
2626- struct check_overrider_parameter : std::false_type {
2625+ struct validate_overrider_parameter : std::false_type {
26272626 static_assert (
26282627 false_t <T1, T2>, " non-virtual parameter types must match exactly" );
26292628};
26302629
26312630template <class T1 , class T2 >
2632- struct check_overrider_parameter <
2631+ struct validate_overrider_parameter <
26332632 T1, T2,
26342633 std::enable_if_t <
26352634 is_virtual_ptr<T1> && is_virtual_ptr<T2> &&
@@ -2639,7 +2638,7 @@ struct check_overrider_parameter<
26392638};
26402639
26412640template <class T1 , class T2 >
2642- struct check_overrider_parameter <
2641+ struct validate_overrider_parameter <
26432642 T1, T2, std::enable_if_t <is_virtual_ptr<T1> && !is_virtual_ptr<T2>>>
26442643 : std::false_type {
26452644 static_assert (
@@ -2649,36 +2648,36 @@ struct check_overrider_parameter<
26492648};
26502649
26512650template <class T >
2652- struct check_overrider_parameter <T, T, void > : std::true_type {};
2651+ struct validate_overrider_parameter <T, T, void > : std::true_type {};
26532652
26542653template <class T1 , class T2 >
2655- struct check_overrider_parameter <virtual_<T1>, T2, void > : std::true_type {};
2654+ struct validate_overrider_parameter <virtual_<T1>, T2, void > : std::true_type {};
26562655
26572656template <class T1 , class T2 >
2658- struct check_overrider_parameter <virtual_<T1>, virtual_<T2>, void >
2657+ struct validate_overrider_parameter <virtual_<T1>, virtual_<T2>, void >
26592658 : std::false_type {
26602659 static_assert (false_t <T1, T2>, " virtual_<> is not allowed in overriders" );
26612660};
26622661
26632662template <class T , class R >
2664- struct check_overrider_parameter <virtual_ptr<T, R>, virtual_ptr<T, R>, void >
2663+ struct validate_overrider_parameter <virtual_ptr<T, R>, virtual_ptr<T, R>, void >
26652664 : std::true_type {};
26662665
26672666template <class T1 , class R1 , class T2 , class R2 >
2668- struct check_overrider_parameter <virtual_ptr<T1, R1>, virtual_ptr<T2, R2>, void >
2669- : std::is_same<R1, R2> {
2670- static_assert (check_overrider_parameter ::value, " registry mismatch" );
2667+ struct validate_overrider_parameter <
2668+ virtual_ptr<T1, R1>, virtual_ptr<T2, R2>, void > : std::is_same<R1, R2> {
2669+ static_assert (validate_overrider_parameter ::value, " registry mismatch" );
26712670};
26722671
26732672template <class T1 , class R1 , class T2 , class R2 >
2674- struct check_overrider_parameter <
2673+ struct validate_overrider_parameter <
26752674 const virtual_ptr<T1, R1>&, const virtual_ptr<T2, R2>&, void >
2676- : check_overrider_parameter <virtual_ptr<T1, R1>, virtual_ptr<T2, R2>> {};
2675+ : validate_overrider_parameter <virtual_ptr<T1, R1>, virtual_ptr<T2, R2>> {};
26772676
26782677template <class T1 , class R1 , class T2 , class R2 >
2679- struct check_overrider_parameter <
2678+ struct validate_overrider_parameter <
26802679 virtual_ptr<T1, R1>&&, virtual_ptr<T2, R2>&&, void >
2681- : check_overrider_parameter <virtual_ptr<T1, R1>, virtual_ptr<T2, R2>> {};
2680+ : validate_overrider_parameter <virtual_ptr<T1, R1>, virtual_ptr<T2, R2>> {};
26822681
26832682} // namespace detail
26842683
@@ -2691,7 +2690,7 @@ auto method<Id, ReturnType(Parameters...), Registry>::
26912690 detail::remove_virtual_<Parameters>... arg) -> ReturnType {
26922691 using namespace detail ;
26932692 static_assert (
2694- (check_overrider_parameter <Parameters, OverriderParameters>::value &&
2693+ (validate_overrider_parameter <Parameters, OverriderParameters>::value &&
26952694 ...),
26962695 " virtual_ptr category mismatch" );
26972696 return Overrider (
0 commit comments