考虑以下对 Boost.MPL 风格的元编程版本的尝试std::any_of
#include <iostream> // cout
#include <type_traits> // is_base_of, is_pod
#include <boost/mpl/apply.hpp> // apply
#include <boost/mpl/fold.hpp> // fold
#include <boost/mpl/lambda.hpp> // lambda, _1, _2
#include <boost/mpl/logical.hpp> // and_, true_
#include <boost/mpl/vector.hpp> // vector
template
<
typename Sequence,
typename Pred
>
struct all_of
:
boost::mpl::fold<
Sequence,
boost::mpl::true_,
boost::mpl::lambda<
boost::mpl::and_<
boost::mpl::_1,
boost::mpl::apply< Pred, boost::mpl::_2 >
>
>
>
{};
typedef int P1; typedef char P2; typedef float P3;
typedef boost::mpl::vector<
P1, P2, P3
> pod_types;
struct B {}; struct D1: B {}; struct D2: B {}; struct D3: B {};
typedef boost::mpl::vector<
D1, D2, D3
> derived_types;
int main()
{
std::cout << (std::is_pod<P1>::value) << '\n'; // true
std::cout << (std::is_pod<P2>::value) << '\n'; // true
std::cout << (std::is_pod<P3>::value) << '\n'; // true
std::cout << (
all_of<
pod_types,
std::is_pod< boost::mpl::_1 >
>::type::value // true
) << '\n';
std::cout << (std::is_base_of<B, D1>::value) << '\n'; // true
std::cout << (std::is_base_of<B, D2>::value) << '\n'; // true
std::cout << (std::is_base_of<B, D3>::value) << '\n'; // true
std::cout << (
all_of<
derived_types,
std::is_base_of< B, boost::mpl::_1 >
>::type::value // false (but should be true)
) << '\n';
return 0;
}
这将打印出:1 1 1 1 1 1 1 0。即,作为谓词传递的最终调用all_of
with生成 false。std::is_base_of
为什么这不起作用?显然,基类B
没有正确绑定到谓词。我应该如何传递二元谓词?mpl::lambda 或 mpl::bind 的某种组合?
更新
基于 Luc Touraille 的出色回答,这里是我的问题的无 lambda 解决方案,另外还有编译时版本none_of
和any_of
template<typename Sequence, typename Pred>
struct all_of
:
std::is_same< typename
boost::mpl::find_if<
Sequence,
boost::mpl::not_<Pred>
>::type, typename
boost::mpl::end<Sequence>::type
>
{};
template<typename Sequence, typename Pred>
struct none_of
:
all_of< Sequence, boost::mpl::not_< Pred > >
{};
template<typename Sequence, typename Pred>
struct any_of
:
boost::mpl::not_< none_of< Sequence, Pred > >
{};