Boost.Hana  1.1.0
Your standard library for metaprogramming
boost::hana::has_common< T, U, typename > Struct Template Reference


template<typename T, typename U, typename>
struct boost::hana::has_common< T, U, typename >

Metafunction returning whether two data types share a common data type.

Given two data types T and U, this metafunction simply returns whether common<T, U>::type is well-formed.


// Copyright Louis Dionne 2013-2017
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file or copy at
namespace hana = boost::hana;
static_assert(hana::has_common<int, float>{}, "");
static_assert(!hana::has_common<void, float>{}, "");
int main() { }

Inherits false_type.