std::enable_if

来自cppreference.com
< cpp‎ | types

该页由英文版wiki使用Google Translate机器翻译而来。

该翻译可能存在错误或用词不当。鼠标停留在文本上可以看到原版本。你可以帮助我们修正错误或改进翻译。参见说明请点击这里.

点击这里参见该页的英文版本

 
C++
 
实用工具库
类型的支持 (basic types, RTTI, type traits)
动态内存管理
错误处理
程序实用工具
可变参数函数
日期和时间
函数对象
initializer_list（C++11）
bitset
hash（C++11）
关系运算符
原文：
Relational operators
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
rel_ops::operator!=
rel_ops::operator>
rel_ops::operator<=
rel_ops::operator>=
双和元组
原文：
Pairs and tuples
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
pair
tuple（C++11）
piecewise_construct_t（C++11）
piecewise_construct（C++11）
掉期，远期和移动
原文：
Swap, forward and move
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
swap
forward（C++11）
move（C++11）
move_if_noexcept（C++11）
declval（C++11）
 
类型的支持
基本类型
原文：
Basic types
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
基本类型
固定宽度的整数类型 （C++11）
nullptr_t（C++11）
offsetof
NULL
数值范围内
原文：
Numeric limits
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
numeric_limits
C数字限制接口
运行时类型信息
原文：
Runtime type information
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
type_info
type_index（C++11）
类型特征
原文：
Type traits
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
初级型两类
原文：
Primary type categories
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_void（C++11）
is_array（C++11）
is_pointer（C++11）
is_enum（C++11）
is_union（C++11）
is_class（C++11）
is_function（C++11）
is_object（C++11）
is_scalar（C++11）
is_compound（C++11）
is_integral（C++11）
is_floating_point（C++11）
is_fundamental（C++11）
is_arithmetic（C++11）
is_reference（C++11）
is_lvalue_reference（C++11）
is_rvalue_reference（C++11）
is_member_pointer（C++11）
is_member_object_pointer（C++11）
is_member_function_pointer（C++11）
类型属性
原文：
Type properties
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_const（C++11）
is_volatile（C++11）
is_pod（C++11）
is_empty（C++11）
is_polymorphic（C++11）
is_abstract（C++11）
is_trivial（C++11）
is_trivially_copyable（C++11）
is_standard_layout（C++11）
is_literal_type（C++11）
is_signed（C++11）
is_unsigned（C++11）
支持的操作
原文：
Supported operations
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_constructible
is_trivially_constructible
is_nothrow_constructible		（C++11）
（C++11）
（C++11）
is_default_constructible
is_trivially_default_constructible
is_nothrow_default_constructible		（C++11）
（C++11）
（C++11）
is_copy_constructible
is_trivially_copy_constructible
is_nothrow_copy_constructible		（C++11）
（C++11）
（C++11）
is_move_constructible
is_trivially_move_constructible
is_nothrow_move_constructible		（C++11）
（C++11）
（C++11）
is_assignable
is_trivially_assignable
is_nothrow_assignable		（C++11）
（C++11）
（C++11）
is_copy_assignable
is_trivially_copy_assignable
is_nothrow_copy_assignable		（C++11）
（C++11）
（C++11）
is_move_assignable
is_trivially_move_assignable
is_nothrow_move_assignable		（C++11）
（C++11）
（C++11）
is_destructible
is_trivially_destructible
is_nothrow_destructible		（C++11）
（C++11）
（C++11）
has_virtual_destructor（C++11）
关系和属性查询
原文：
Relationships and property queries
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_same（C++11）
is_base_of（C++11）
is_convertible（C++11）
alignment_of（C++11）
rank（C++11）
extent（C++11）
类型的修改
原文：
Type modifications
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
remove_cv
remove_const
remove_volatile		（C++11）
（C++11）
（C++11）
add_cv
add_const
add_volatile		（C++11）
（C++11）
（C++11）
make_signed（C++11）
make_unsigned（C++11）
remove_reference（C++11）
add_lvalue_reference
add_rvalue_reference		（C++11）
（C++11）
remove_pointer（C++11）
add_pointer（C++11）
remove_extent（C++11）
remove_all_extents（C++11）
类型转换
原文：
Type transformations
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
aligned_storage（C++11）
aligned_union（C++11）
decay（C++11）
enable_if（C++11）
conditional（C++11）
common_type（C++11）
underlying_type（C++11）
result_of（C++11）
键入特征常数
原文：
Type trait constants
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
integral_constant（C++11）
 
在头文件 <type_traits> 中定义
template< bool B, class T = void >
struct enable_if;
 （C++11 起）
如果B是true，std::enable_if有一个公共的的成员typedeftype，等于T，否则，是没有成员typedef.
原文：
If B is true, std::enable_if has a public member typedef type, equal to T; otherwise, there is no member typedef.
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
元函数用于有条件地删除函数和类重载解析类型特征的基础上，并提供单独的函数重载和专业的不同类型的特征。 std::enable_if可以作为一个额外的函数参数（不适用的操作符重载），并不适用于构造函数和析构函数的返回类型（），或作为类模板或函数模板的参数.
原文：
This metafunction is used to conditionally remove functions and classes from overload resolution based on type traits and to provide separate function overloads and specializations for different type traits. std::enable_if can be used as an additional function argument (not applicable to operator overloads), as a return type (not applicable to constructors and destructors), or as a class template or function template parameter.
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

目录

[编辑] 会员类型

类型
原文：
Type
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
 Definition
type
无论是T或任何股东，根据B的价值
原文：
either T or no such member, depending on the value of B
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

[编辑] 可能的实现

template<bool B, class T = void>
struct enable_if {};
 
template<class T>
struct enable_if<true, T> { typedef T type; };

[编辑] 示例

#include <type_traits>
#include <iostream>
 
// foo1 overloads are enabled via the return type
template<class T>
typename std::enable_if<std::is_floating_point<T>::value, T>::type
    foo1(T t)
{
    std::cout << "foo1: float\n";
    return t;
}
 
template<class T>
typename std::enable_if<std::is_integral<T>::value, T>::type
    foo1(T t)
{
    std::cout << "foo1: int\n";
    return t;
}
 
// foo2 overload is enabled via a parameter
template<class T>
T foo2(T t, typename std::enable_if<std::is_integral<T>::value >::type* = 0)
{
    return t;
}
 
// foo3 overload is enabled via a template parameter
template<class T ,
         class = typename std::enable_if<std::is_integral<T>::value>::type >
T foo3(T t) // note, function signature is unmodified
{
    return t;
}
 
// A is enabled via a template parameter
template<class T, class Enable = void>
class A; // undefined
 
template<class T>
class A<T, typename std::enable_if<std::is_floating_point<T>::value >::type> {
};
 
int main()
{
    foo1(1.2); // OK, calls the first version of foo1()
    foo1(10); // OK, calls the second version of foo1()
 
//  foo2(0.1); // compile-time error
    foo2(7); // OK
 
//  A<int> a1; // compile-time error
    A<double> a1; // OK
}

输出： 

foo1: float
foo1: int

[编辑] 另请参阅

来自“http://zh.cppreference.com/mwiki/index.php?title=cpp/types/enable_if&oldid=38600”