| //===----------------------------------------------------------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is dual licensed under the MIT and the University of Illinois Open |
| // Source Licenses. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // UNSUPPORTED: c++98, c++03, c++11, c++14 |
| |
| // type_traits |
| |
| // is_callable |
| |
| // Most testing of is_callable is done within the [meta.trans.other] result_of |
| // tests. |
| |
| #include <type_traits> |
| #include <functional> |
| #include <memory> |
| |
| #include "test_macros.h" |
| |
| struct Tag {}; |
| struct DerFromTag : Tag {}; |
| |
| struct Implicit { |
| Implicit(int) {} |
| }; |
| |
| struct Explicit { |
| explicit Explicit(int) {} |
| }; |
| |
| struct NotCallableWithInt { |
| int operator()(int) = delete; |
| int operator()(Tag) { return 42; } |
| }; |
| |
| int main() |
| { |
| { |
| using Fn = int(Tag::*)(int); |
| using RFn = int(Tag::*)(int) &&; |
| // INVOKE bullet 1, 2 and 3 |
| { |
| // Bullet 1 |
| static_assert(std::is_callable<Fn(Tag&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(DerFromTag&, int)>::value, ""); |
| static_assert(std::is_callable<RFn(Tag&&, int)>::value, ""); |
| static_assert(!std::is_callable<RFn(Tag&, int)>::value, ""); |
| static_assert(!std::is_callable<Fn(Tag&)>::value, ""); |
| static_assert(!std::is_callable<Fn(Tag const&, int)>::value, ""); |
| } |
| { |
| // Bullet 2 |
| using T = std::reference_wrapper<Tag>; |
| using DT = std::reference_wrapper<DerFromTag>; |
| using CT = std::reference_wrapper<const Tag>; |
| static_assert(std::is_callable<Fn(T&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(DT&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(const T&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(T&&, int)>::value, ""); |
| static_assert(!std::is_callable<Fn(CT&, int)>::value, ""); |
| static_assert(!std::is_callable<RFn(T, int)>::value, ""); |
| } |
| { |
| // Bullet 3 |
| using T = Tag*; |
| using DT = DerFromTag*; |
| using CT = const Tag*; |
| using ST = std::unique_ptr<Tag>; |
| static_assert(std::is_callable<Fn(T&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(DT&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(const T&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(T&&, int)>::value, ""); |
| static_assert(std::is_callable<Fn(ST, int)>::value, ""); |
| static_assert(!std::is_callable<Fn(CT&, int)>::value, ""); |
| static_assert(!std::is_callable<RFn(T, int)>::value, ""); |
| } |
| } |
| { |
| // Bullets 4, 5 and 6 |
| using Fn = int (Tag::*); |
| static_assert(!std::is_callable<Fn()>::value, ""); |
| { |
| // Bullet 4 |
| static_assert(std::is_callable<Fn(Tag&)>::value, ""); |
| static_assert(std::is_callable<Fn(DerFromTag&)>::value, ""); |
| static_assert(std::is_callable<Fn(Tag&&)>::value, ""); |
| static_assert(std::is_callable<Fn(Tag const&)>::value, ""); |
| } |
| { |
| // Bullet 5 |
| using T = std::reference_wrapper<Tag>; |
| using DT = std::reference_wrapper<DerFromTag>; |
| using CT = std::reference_wrapper<const Tag>; |
| static_assert(std::is_callable<Fn(T&)>::value, ""); |
| static_assert(std::is_callable<Fn(DT&)>::value, ""); |
| static_assert(std::is_callable<Fn(const T&)>::value, ""); |
| static_assert(std::is_callable<Fn(T&&)>::value, ""); |
| static_assert(std::is_callable<Fn(CT&)>::value, ""); |
| } |
| { |
| // Bullet 6 |
| using T = Tag*; |
| using DT = DerFromTag*; |
| using CT = const Tag*; |
| using ST = std::unique_ptr<Tag>; |
| static_assert(std::is_callable<Fn(T&)>::value, ""); |
| static_assert(std::is_callable<Fn(DT&)>::value, ""); |
| static_assert(std::is_callable<Fn(const T&)>::value, ""); |
| static_assert(std::is_callable<Fn(T&&)>::value, ""); |
| static_assert(std::is_callable<Fn(ST)>::value, ""); |
| static_assert(std::is_callable<Fn(CT&)>::value, ""); |
| } |
| } |
| { |
| // INVOKE bullet 7 |
| { |
| // Function pointer |
| using Fp = void(*)(Tag&, int); |
| static_assert(std::is_callable<Fp(Tag&, int)>::value, ""); |
| static_assert(std::is_callable<Fp(DerFromTag&, int)>::value, ""); |
| static_assert(!std::is_callable<Fp(const Tag&, int)>::value, ""); |
| static_assert(!std::is_callable<Fp()>::value, ""); |
| static_assert(!std::is_callable<Fp(Tag&)>::value, ""); |
| } |
| { |
| // Function reference |
| using Fp = void(&)(Tag&, int); |
| static_assert(std::is_callable<Fp(Tag&, int)>::value, ""); |
| static_assert(std::is_callable<Fp(DerFromTag&, int)>::value, ""); |
| static_assert(!std::is_callable<Fp(const Tag&, int)>::value, ""); |
| static_assert(!std::is_callable<Fp()>::value, ""); |
| static_assert(!std::is_callable<Fp(Tag&)>::value, ""); |
| } |
| { |
| // Function object |
| using Fn = NotCallableWithInt; |
| static_assert(std::is_callable<Fn(Tag)>::value, ""); |
| static_assert(!std::is_callable<Fn(int)>::value, ""); |
| } |
| } |
| { |
| // Check that the conversion to the return type is properly checked |
| using Fn = int(*)(); |
| static_assert(std::is_callable<Fn(), Implicit>::value, ""); |
| static_assert(std::is_callable<Fn(), double>::value, ""); |
| static_assert(std::is_callable<Fn(), const volatile void>::value, ""); |
| static_assert(!std::is_callable<Fn(), Explicit>::value, ""); |
| } |
| { |
| // Check for is_callable_v |
| using Fn = void(*)(); |
| static_assert(std::is_callable_v<Fn()>, ""); |
| static_assert(!std::is_callable_v<Fn(int)>, ""); |
| } |
| } |