12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 |
- /*
- * Distributed under the Boost Software License, Version 1.0.
- * (See accompanying file LICENSE_1_0.txt or copy at
- * https://www.boost.org/LICENSE_1_0.txt)
- *
- * Copyright (c) 2023 Andrey Semashev
- */
- /*!
- * \file scope/detail/is_not_like.hpp
- *
- * This header contains definition of \c is_not_like type trait.
- */
- #ifndef BOOST_SCOPE_DETAIL_IS_NOT_LIKE_HPP_INCLUDED_
- #define BOOST_SCOPE_DETAIL_IS_NOT_LIKE_HPP_INCLUDED_
- #include <type_traits>
- #include <boost/scope/detail/config.hpp>
- #include <boost/scope/detail/header.hpp>
- #ifdef BOOST_HAS_PRAGMA_ONCE
- #pragma once
- #endif
- namespace boost {
- namespace scope {
- namespace detail {
- //! The type trait checks if \c T is not a possibly cv-reference-qualified specialization of \c Template
- template< typename T, template< typename... > class Template >
- struct is_not_like : public std::true_type { };
- template< typename T, template< typename... > class Template >
- struct is_not_like< T&, Template > : public is_not_like< T, Template > { };
- template< template< typename... > class Template, typename... Ts >
- struct is_not_like< Template< Ts... >, Template > : public std::false_type { };
- template< template< typename... > class Template, typename... Ts >
- struct is_not_like< const Template< Ts... >, Template > : public std::false_type { };
- template< template< typename... > class Template, typename... Ts >
- struct is_not_like< volatile Template< Ts... >, Template > : public std::false_type { };
- template< template< typename... > class Template, typename... Ts >
- struct is_not_like< const volatile Template< Ts... >, Template > : public std::false_type { };
- } // namespace detail
- } // namespace scope
- } // namespace boost
- #include <boost/scope/detail/footer.hpp>
- #endif // BOOST_SCOPE_DETAIL_IS_NOT_LIKE_HPP_INCLUDED_
|