sfinae 相关问题

替换失败不是错误。这是一种C ++编程技术，允许模板验证有关其模板参数的属性，从而允许在某些类型的对象可用时使用不同的特化。

通过sfinae

[注意：我被C ++ 17。] 我有一个类模板，该模板是在相当多的类型（〜25）上实例化的。其中一些可以彼此正确转换，我想

c++ templates c++17 operator-keyword sfinae

回答 1 投票 0

为什么在用enable_if定义的模板中添加“* = nullptr”，避免了函数的重载？

考虑此代码： #include #include #include 结构A { int a; }; struct b { std :: string b; }; 模板 auto has_member_a ...

c++ templates sfinae type-traits

回答 1 投票 0

检查c++中是否存在模板函数

#包括模板结构分配器特征{ 私人的：模板静态自动 malloc(int) -> decltype(static_cast #include <type_traits> template <typename Allocator> struct AllocatorTraits { private: template <typename U> static auto malloc(int) -> decltype(static_cast<void* (U::*)(size_t)>(&U::malloc), std::true_type()); template <typename> static std::false_type malloc(...); template <typename U, typename T, typename... Args> static auto allocate(int) -> decltype(static_cast<T* (U::*)(Args...)>(&U::template allocate<T, Args...>), std::true_type()); template <typename> static std::false_type allocate(...); public: static constexpr bool has_malloc = decltype(malloc<Allocator>(0))::value; template <typename T, typename... Args> static constexpr bool has_allocate = decltype(allocate<Allocator, T, Args...>(0))::value; }; class TestClass { public: void* malloc(size_t size) noexcept { return nullptr; } template <typename T, typename ...Args> T* allocate(Args &&...args) noexcept { return nullptr; } }; static constexpr bool test_malloc = AllocatorTraits<TestClass>::has_malloc; static constexpr bool test_allocate = AllocatorTraits<TestClass>::has_allocate<int>; 我正在使用 C++20。如果我注释非模板 TestClass 函数，则效果很好，因此注释掉 TestClass::malloc 将导致 test_malloc 为 false。如果我注释掉模板函数，这将无法编译 TestClass::allocate (error C2672: 'AllocatorTraits<TestClass>::allocate': no matching overloaded function found). 任何人都可以帮助我让它按预期工作吗？既然可以使用C++20，就定义一个概念吧。它们比尝试使用 SFINAE 更方便。 #include <cstdint> #include <type_traits> #include <utility> template <typename T, typename Ret, typename... Args> concept has_allocate = requires(T x, Args... args) { { x.template allocate<Ret>(std::forward<Args>(args)...) } -> std::same_as<Ret*>; }; class HasAllClass { public: void* malloc(std::size_t) noexcept { return nullptr; } template <typename T, typename... Args> T* allocate(Args&&...) noexcept { return nullptr; } }; class Foo { }; static_assert(has_allocate<HasAllClass, int>); static_assert(!has_allocate<Foo, int>); https://godbolt.org/z/KaT6813s1

c++ templates c++20 sfinae

回答 1 投票 0

如何在 C++ 中以元组形式获取构造函数参数类型？

无法检索元组中的构造函数参数。我试图将给定类的构造函数参数类型提取为 std::tuple。例如，如果我有一个这样的课程：结构 MyClas...

c++ dependency-injection constructor metaprogramming sfinae

回答 1 投票 0

C++ (03) SFINAE 方面编译器独立吗？

我有一个头文件，其功能在很大程度上依赖于SFINAE的成功。在目前的 g++ 4.6 中，它按预期工作。我是否应该假设，我的代码将以同样的方式无缝运行......

c++ templates sfinae

回答 2 投票 0

std::enable_if 方法可以在类之外定义吗

是否存在允许在类外部定义 method1 的语法，或者这对 SFINAE 不友好？ #包括模板结构样本类{ // 这个