Boost/C++ eval_if 失败

Question

我遇到了一个非常困难的问题，下面的程序说明了这个问题：看起来第 51 行中的 eval_if 没有正常工作。也就是说，当两种类型都不是安全类型时，元函数 get_promotion_policy 被调用。我已经为此工作了两天，看不到发生了什么。来自 TMP 天才的任何帮助将不胜感激。

#include <type_traits>
#include <boost/mpl/and.hpp>
#include <boost/mpl/or.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/identity.hpp>

struct safe_tag {};

template<class T, class P = void>
struct safe : public safe_tag {
    T m_t;
    typedef P PromotionPolicy;
};

template<class T>
struct is_safe : public
    //std::is_arithmetic<T>
    std::is_base_of<safe_tag, T>
{};

template<class T, class U>
struct common_policies {
    static_assert(
        boost::mpl::or_<
            is_safe<T>,
            is_safe<U>
        >::value,
        "at least one type must be a safe type"
    );

    template<typename Z>
    struct get_promotion_policy {
        static_assert(
            is_safe<Z>::value,
            "only safe types have promotion policies"
        );
        typedef typename Z::PromotionPolicy type;
    };


    // if both types are safe, the policies have to be the same!
    static_assert(
        boost::mpl::eval_if<
            boost::mpl::and_<
                is_safe<T>,
                is_safe<U>
            >,
            typename std::is_same<
                typename get_promotion_policy<T>::type,
                typename get_promotion_policy<U>::type
            >::type,
            boost::mpl::identity<boost::mpl::true_>
        >::type::value,
        "if both types are safe, the policies have to be the same!"
    );

    // now we've verified that there is no conflict between policies
    // return the one from the first safe type
    typedef typename boost::mpl::if_<
        is_safe<T>,
        T,
    typename boost::mpl::if_<
        is_safe<U>,
        U,
    //
        boost::mpl::void_
    >::type
    >::type safe_type;

    typedef typename get_promotion_policy<safe_type>::type promotion_policy;

};

common_policies<int, safe<int> > t;

int main(){
    return 0;
}

Answer 1

typename std::is_same<
            typename get_promotion_policy<T>::type,
            typename get_promotion_policy<U>::type
        >::type

触发 get_promotion_policy<T> 和 get_promotion_policy<U> 的实例化，即使它在 false 分支中。您必须报告评价，例如：

// if both types are safe, the policies have to be the same!
static_assert(
    boost::mpl::eval_if<
        boost::mpl::and_<
            is_safe<T>,
            is_safe<U>
        >,
        std::is_same<
            typename boost::mpl::eval_if<is_safe<T>, get_promotion_policy<T>, boost::mpl::identity<void>>::type,
            typename boost::mpl::eval_if<is_safe<U>, get_promotion_policy<U>, boost::mpl::identity<void>>::type
        >,
        boost::mpl::identity<boost::mpl::true_>
    >::type::value,
    "if both types are safe, the policies have to be the same!"
);

Demo

Boost/C++ eval_if 失败

Boost/C++ eval_if fails

c++

templates

metaprogramming