使用 enable_if 选择类构造函数

Select class constructor using enable_if

本文关键字：构造函数 选择 if enable 使用      更新时间：2023-10-16

请考虑以下代码：

#include <iostream>
#include <type_traits>
template <typename T>
struct A {
    int val = 0;
    template <class = typename std::enable_if<T::value>::type>
    A(int n) : val(n) {};
    A(...) { }
    /* ... */
};
struct YES { constexpr static bool value = true; };
struct NO { constexpr static bool value = false; };
int main() {
    A<YES> y(10);
    A<NO> n;
    std::cout << "YES: " << y.val << std::endl
              << "NO:  " << n.val << std::endl;
}

我想有选择地仅为某些使用 enable_if 的类型定义构造函数 A：：A(int(。对于所有其他类型，有默认构造函数 A：：A(...(，当替换失败时，它应该是编译器的默认情况。但是这对我来说很有意义 编译器(gcc 版本 4.9.0 20130714(仍在抱怨

sfinae.cpp：在"struct A"的实例化中：sfinae.cpp：19：11：
从这里需要 Sfinae.cpp：9：5：错误：中
没有名为"type"的类型 '结构标准：：enable_if'
A(int n( ： val(n( {};

构造函数可以这样的事情吗？使用另一个构造函数(复制构造函数和移动构造函数(是否可以做到这一点？

我认为这不适用于单个默认模板参数，因为它的值需要在实例化类模板时解析。

我们需要将替换推迟到构造函数模板实例化点。一种方法是将模板参数默认为 T，并向构造函数添加一个额外的虚拟参数：

template<typename U = T>
A(int n, typename std::enable_if<U::value>::type* = 0) : val(n) { }

with C++20

您只需向模板添加requires即可实现这一点：

template <typename U = T> requires U::value
A(int n) : val(n) { }

requires 子句获取一个计算结果为 true 或false从而决定是在重载解析中考虑此方法(如果 require 子句为 true(的constant expression，否则忽略它。

代码：https://godbolt.org/z/CKTDFE

通常这是使用匿名默认参数完成的： 

A(int n, typename std::enable_if<T::value>::type* = 0) : val(n) {};

不能将类中的模板参数用于 SFINAE out 方法。所以一种方法是添加一个虚拟类型替换 int ：

请参阅： http://ideone.com/2Gnyzj

#include <iostream>
#include <type_traits>
template <typename T>
struct A {
    int val = 0;
    template<typename Integer
            ,typename  = typename std::enable_if<T::value && sizeof(Integer)>::type
            >
    A(Integer n) : val(n) {};
    A(...) {}
    /* ... */
};
struct YES { constexpr static bool value = true; };
struct NO { constexpr static bool value = false; };
int main() {
    A<YES> y(10);
    A<NO> n;
    std::cout << "YES: " << y.val << std::endl
              << "NO:  " << n.val << std::endl;
}

这是有效的，因为您使用成员模板参数来 SFINAE 输出构造函数，但测试始终为真，因此它不会污染您的检查

相关文章：