namespace std {
// C++11
template <typename T>
struct bit_and {
T operator()(const T& x, const T& y) const;
using first_argument_type = T;
using second_argument_type = T;
using result_type = T;
};
// C++14 (operator() が constexpr、テンプレート引数にデフォルトが指定された)
template <typename T = void>
struct bit_and {
constexpr T operator()(const T& x, const T& y) const;
using first_argument_type = T;
using second_argument_type = T;
using result_type = T;
};
template <> // テンプレート引数が void(デフォルト)の場合の特殊化(operator() が関数テンプレート)
struct bit_and<void> {
template <typename T, typename U>
constexpr auto operator()(const T& t, const U& u) const
-> decltype(forward<T>(t) & forward<U>(u));
using is_transparent = unspecified;
};
// C++20 (first_argument_type, second_argument_type, result_type削除)
template <typename T = void>
struct bit_and {
constexpr T operator()(const T& x, const T& y) const;
};
template <> // テンプレート引数が void(デフォルト)の場合の特殊化(operator() が関数テンプレート)
struct bit_and<void> {
template <typename T, typename U>
constexpr auto operator()(const T& t, const U& u) const
-> decltype(forward<T>(t) & forward<U>(u));
using is_transparent = unspecified;
};
}
概要
bit_and
クラスは、ビットごとの論理積(AND)をとる関数オブジェクトである。
この関数オブジェクトは一切のメンバ変数を持たず、状態を保持しない。
メンバ関数
名前 | 説明 | 対応バージョン |
---|---|---|
operator() |
x & y と等価 |
C++11 |
メンバ型
名前 | 説明 | 対応バージョン |
---|---|---|
first_argument_type |
operator() の最初の引数の型。T と等価(T が void 以外の場合のみ) |
C++11 C++17から非推奨 C++20で削除 |
second_argument_type |
operator() の2番目の引数の型。T と等価(T が void 以外の場合のみ) |
C++11 C++17から非推奨 C++20で削除 |
result_type |
operator() の戻り値の型。T と等価(T が void 以外の場合のみ) |
C++11 C++17から非推奨 C++20で削除 |
is_transparent |
operator() が関数テンプレートである事を示すタグ型。実装依存の型であるがあくまでタグ型であり、型そのものには意味はない。( T が void の場合のみ) |
C++14 |
例
#include <iostream>
#include <functional>
int main()
{
// テンプレート引数で operator() の引数の型を指定した書き方(C++11 でも使用可能)
std::cout << "0x" << std::hex << std::bit_and<int>()(0xFA, 0x47) << std::endl;
// テンプレート引数で operator() の引数の型を指定しない書き方(C++14 以降で使用可能)
std::cout << "0x" << std::hex << std::bit_and<>()(0xFA, 0x47) << std::endl;
}
出力
0x42
0x42
C++11バージョン
処理系
- Clang: 3.0 ✅
- GCC: 4.3 ✅
- ICC: ??
- Visual C++: ??
C++14バージョン
処理系
- Clang: 3.4 ✅
- GCC: 4.9 ✅
- ICC: ??
- Visual C++: ??
参照
- LWG Issue 660. Missing Bitwise Operations
- N3421 Making Operator Functors greater<>
- N3657 Adding heterogeneous comparison lookup to associative containers (rev 4)
- N3789 Constexpr Library Additions: functional
- P0005R4 Adopt
not_fn
from Library Fundamentals 2 for C++17 - P0619R4 Reviewing deprecated facilities of C++17 for C++20