C ++ Programlama Dili: Otomatik Oluşturulan Eşitlik Operatörü
Çoğu C ++ geliştiricisi, üç yollu karşılaştırma operatörünün tanımlaması veya =default Derleyici tarafından talep edilebilir. Muhtemelen eşitlik operatörünün C ++ 20'de de tanımlanabileceği veya talep edilebileceği daha az biliniyor mu?
Otomatik olarak oluşturulan eşitlik operatörüne girmeden önce, üç yollu karşılaştırma operatöründeki en önemli gerçekleri güncellemek istiyorum.
Rainer Grimm yıllardır yazılım mimarı, ekip ve eğitim müdürü olarak çalıştı. C ++ programlama dilleri, Python ve Haskell hakkında makaleler yazmayı seviyor, ancak uzman konferanslarla konuşmayı da seviyor. Modern C ++ blogunda, C ++ tutkusuyla yoğun bir şekilde ilgileniyor.
Üç yollu karşılaştırma operatörü
Üç yollu karşılaştırma operatörü tanımlanabilir veya =default Derleyici tarafından talep edildi. Her iki durumda da altı karşılaştırma operatörünü de alırsınız: ==, !=, <, <=, >, VE >=.
// threeWayComparison.cpp
#include <compare>
#include <iostream>
struct MyInt {
int value;
explicit MyInt(int val): value{val} { }
auto operator<=>(const MyInt& rhs) const { // (1)
return value <=> rhs.value;
}
};
struct MyDouble {
double value;
explicit constexpr MyDouble(double val): value{val} { }
auto operator<=>(const MyDouble&) const = default; // (2)
};
template <typename T>
constexpr bool isLessThan(const T& lhs, const T& rhs) {
return lhs < rhs;
}
int main() {
std::cout << std::boolalpha << std::endl;
MyInt myInt1(2011);
MyInt myInt2(2014);
std::cout << "isLessThan(myInt1, myInt2): "
<< isLessThan(myInt1, myInt2) << std::endl;
MyDouble myDouble1(2011);
MyDouble myDouble2(2014);
std::cout << "isLessThan(myDouble1, myDouble2): "
<< isLessThan(myDouble1, myDouble2) << std::endl;
std::cout << std::endl;
}
Beklendiği gibi derleyicinin çalışması tarafından üretilen üç yollu karşılaştırma operatörü (1) ve (2) (2).
Bununla birlikte, iki üç yollu karşılaştırma operatörü arasında bazı dikkate değer farklılıklar vardır. İçin geri dönüş türü MyInt (1) titiz siparişi, geri dönüş türünü destekler MyDouble (2) Öte yandan, sadece kısmi düzeni destekler. Sleit üreten sayılar sadece kısmi sırayı destekleyebilir, çünkü NAN gibi değerler sipariş edilemez (bir sayı değil). Örneğin, bu NaN == NaN İLE false değerlendirildi.
Derleyici tarafından oluşturulan üç yollu karşılaştırma operatörü, örtük constexpr VE noexcept Başlık gerekli <compare>. Ayrıca sözlükbilimsel bir karşılaştırma gerçekleştirir. Bu bağlamda, sözlükbilimsel karşılaştırma, tüm temel sınıfların sağa ve tüm statik olmayan üyelerin beyanlarına göre karşılaştırıldığı anlamına gelir.
Diyelim ki iki sınıfı ekliyorum MyInt VE MyDouble A std::unordered_set Üstelik.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator<=>(const MyInt& rhs) const {
if (auto first = value <=> rhs.value; first != 0) return first;
else return mySet <=> rhs.mySet;
}
};
struct MyDouble {
double value;
std::unordered_set<double> mySet;
explicit MyDouble(double val): value{val}, mySet{val} { }
bool operator<=>(const MyDouble&) const = default;
};
Üç yollu karşılaştırmayı talep edin veya tanımlayın çünkü std::unordered_set Sipariş desteklenmez. std::unordered_set Yalnızca karşılaştırmaları destekler ve bu da geçerlidir MyInt VE MyDouble.
Eşitlik Operatörü
Eşitlik operatörü tanımlanır veya derleyici ile =default İstenen, eşitlik ve eşitsizlik operatörlerini otomatik olarak alır: ==VE !=.
// equalityOperator.cpp
#include <iostream>
#include <tuple>
#include <unordered_set>
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
return std::tie(value, mySet) == std::tie(rhs.value, rhs.mySet);
}
};
struct MyDouble {
double value;
std::unordered_set<double> mySet;
explicit MyDouble(double val): value{val}, mySet{val} { }
bool operator==(const MyDouble&) const = default;
};
template <typename T>
constexpr bool areEqual(const T& lhs, const T& rhs) {
return lhs == rhs;
}
template <typename T>
constexpr bool areNotEqual(const T& lhs, const T& rhs) {
return lhs != rhs;
}
int main() {
std::cout << std::boolalpha << 'n';
MyInt myInt1(2011);
MyInt myInt2(2014);
std::cout << "areEqual(myInt1, myInt2): "
<< areEqual(myInt1, myInt2) << 'n';
std::cout << "areNotEqual(myInt1, myInt2): "
<< areNotEqual(myInt1, myInt2) << 'n';
std::cout << 'n';
MyDouble myDouble1(2011.0);
MyDouble myDouble2(2014.0);
std::cout << "areEqual(myDouble1, myDouble2): "
<< areEqual(myDouble1, myDouble2) << 'n';
std::cout << "areNotEqual(myDouble1, myDouble2): "
<< areNotEqual(myDouble1, myDouble2) << 'n';
std::cout << 'n';
}
Şimdi yapabilirim MyInt VE MyDouble Eşitlik ve eşitsizlik ile karşılaştırın.
Programda equalityOperator.cpp Bir hile uyguladım: Onu kim tanıyor?
Aşağıdaki örnekte eşitlik operatörü var MyInt Eşitlik operatörleri tarafından uygulandı value VE mySet Zincirlendiler.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
if (auto first = value == rhs.value; first != 0) return first;
else return mySet == rhs.mySet;
}
};
Bu, hatalara oldukça eğilimlidir ve birkaç üyeyle bir dersiniz olduğunda tatsız görünüyor.
Aksine var std::tie Programdaki eşitlik operatörüne alışkın equalityOperator.cpp Uygulamak için.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
return std::tie(value, mySet) == std::tie(rhs.value, rhs.mySet);
}
};
std::tie Bir torpella yaratmak lvalue-argümanlarına katılıyor. Son olarak, üretilen tupiler sözlükbilimsel olarak karşılaştırılır.
Sırada ne var?
Bir sonraki makalemde, C ++ 20 üzerinden yolculuğuma devam edeceğim std::span yazmak. std::span Nesnelerin tutarlı bir bölümünü ifade eden bir nesneyi temsil eder.
(harita)
C ++ Programlama Dili: Otomatik Oluşturulan Eşitlik Operatörü
Çoğu C ++ geliştiricisi, üç yollu karşılaştırma operatörünün tanımlaması veya =default Derleyici tarafından talep edilebilir. Muhtemelen eşitlik operatörünün C ++ 20'de de tanımlanabileceği veya talep edilebileceği daha az biliniyor mu?
Otomatik olarak oluşturulan eşitlik operatörüne girmeden önce, üç yollu karşılaştırma operatöründeki en önemli gerçekleri güncellemek istiyorum.
Rainer Grimm yıllardır yazılım mimarı, ekip ve eğitim müdürü olarak çalıştı. C ++ programlama dilleri, Python ve Haskell hakkında makaleler yazmayı seviyor, ancak uzman konferanslarla konuşmayı da seviyor. Modern C ++ blogunda, C ++ tutkusuyla yoğun bir şekilde ilgileniyor.
Üç yollu karşılaştırma operatörü
Üç yollu karşılaştırma operatörü tanımlanabilir veya =default Derleyici tarafından talep edildi. Her iki durumda da altı karşılaştırma operatörünü de alırsınız: ==, !=, <, <=, >, VE >=.
// threeWayComparison.cpp
#include <compare>
#include <iostream>
struct MyInt {
int value;
explicit MyInt(int val): value{val} { }
auto operator<=>(const MyInt& rhs) const { // (1)
return value <=> rhs.value;
}
};
struct MyDouble {
double value;
explicit constexpr MyDouble(double val): value{val} { }
auto operator<=>(const MyDouble&) const = default; // (2)
};
template <typename T>
constexpr bool isLessThan(const T& lhs, const T& rhs) {
return lhs < rhs;
}
int main() {
std::cout << std::boolalpha << std::endl;
MyInt myInt1(2011);
MyInt myInt2(2014);
std::cout << "isLessThan(myInt1, myInt2): "
<< isLessThan(myInt1, myInt2) << std::endl;
MyDouble myDouble1(2011);
MyDouble myDouble2(2014);
std::cout << "isLessThan(myDouble1, myDouble2): "
<< isLessThan(myDouble1, myDouble2) << std::endl;
std::cout << std::endl;
}
Beklendiği gibi derleyicinin çalışması tarafından üretilen üç yollu karşılaştırma operatörü (1) ve (2) (2).
Bununla birlikte, iki üç yollu karşılaştırma operatörü arasında bazı dikkate değer farklılıklar vardır. İçin geri dönüş türü MyInt (1) titiz siparişi, geri dönüş türünü destekler MyDouble (2) Öte yandan, sadece kısmi düzeni destekler. Sleit üreten sayılar sadece kısmi sırayı destekleyebilir, çünkü NAN gibi değerler sipariş edilemez (bir sayı değil). Örneğin, bu NaN == NaN İLE false değerlendirildi.
Derleyici tarafından oluşturulan üç yollu karşılaştırma operatörü, örtük constexpr VE noexcept Başlık gerekli <compare>. Ayrıca sözlükbilimsel bir karşılaştırma gerçekleştirir. Bu bağlamda, sözlükbilimsel karşılaştırma, tüm temel sınıfların sağa ve tüm statik olmayan üyelerin beyanlarına göre karşılaştırıldığı anlamına gelir.
Diyelim ki iki sınıfı ekliyorum MyInt VE MyDouble A std::unordered_set Üstelik.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator<=>(const MyInt& rhs) const {
if (auto first = value <=> rhs.value; first != 0) return first;
else return mySet <=> rhs.mySet;
}
};
struct MyDouble {
double value;
std::unordered_set<double> mySet;
explicit MyDouble(double val): value{val}, mySet{val} { }
bool operator<=>(const MyDouble&) const = default;
};
Üç yollu karşılaştırmayı talep edin veya tanımlayın çünkü std::unordered_set Sipariş desteklenmez. std::unordered_set Yalnızca karşılaştırmaları destekler ve bu da geçerlidir MyInt VE MyDouble.
Eşitlik Operatörü
Eşitlik operatörü tanımlanır veya derleyici ile =default İstenen, eşitlik ve eşitsizlik operatörlerini otomatik olarak alır: ==VE !=.
// equalityOperator.cpp
#include <iostream>
#include <tuple>
#include <unordered_set>
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
return std::tie(value, mySet) == std::tie(rhs.value, rhs.mySet);
}
};
struct MyDouble {
double value;
std::unordered_set<double> mySet;
explicit MyDouble(double val): value{val}, mySet{val} { }
bool operator==(const MyDouble&) const = default;
};
template <typename T>
constexpr bool areEqual(const T& lhs, const T& rhs) {
return lhs == rhs;
}
template <typename T>
constexpr bool areNotEqual(const T& lhs, const T& rhs) {
return lhs != rhs;
}
int main() {
std::cout << std::boolalpha << 'n';
MyInt myInt1(2011);
MyInt myInt2(2014);
std::cout << "areEqual(myInt1, myInt2): "
<< areEqual(myInt1, myInt2) << 'n';
std::cout << "areNotEqual(myInt1, myInt2): "
<< areNotEqual(myInt1, myInt2) << 'n';
std::cout << 'n';
MyDouble myDouble1(2011.0);
MyDouble myDouble2(2014.0);
std::cout << "areEqual(myDouble1, myDouble2): "
<< areEqual(myDouble1, myDouble2) << 'n';
std::cout << "areNotEqual(myDouble1, myDouble2): "
<< areNotEqual(myDouble1, myDouble2) << 'n';
std::cout << 'n';
}
Şimdi yapabilirim MyInt VE MyDouble Eşitlik ve eşitsizlik ile karşılaştırın.
Programda equalityOperator.cpp Bir hile uyguladım: Onu kim tanıyor?
Aşağıdaki örnekte eşitlik operatörü var MyInt Eşitlik operatörleri tarafından uygulandı value VE mySet Zincirlendiler.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
if (auto first = value == rhs.value; first != 0) return first;
else return mySet == rhs.mySet;
}
};
Bu, hatalara oldukça eğilimlidir ve birkaç üyeyle bir dersiniz olduğunda tatsız görünüyor.
Aksine var std::tie Programdaki eşitlik operatörüne alışkın equalityOperator.cpp Uygulamak için.
struct MyInt {
int value;
std::unordered_set<int> mySet;
explicit MyInt(int val): value{val}, mySet{val} { }
bool operator==(const MyInt& rhs) const {
return std::tie(value, mySet) == std::tie(rhs.value, rhs.mySet);
}
};
std::tie Bir torpella yaratmak lvalue-argümanlarına katılıyor. Son olarak, üretilen tupiler sözlükbilimsel olarak karşılaştırılır.
Sırada ne var?
Bir sonraki makalemde, C ++ 20 üzerinden yolculuğuma devam edeceğim std::span yazmak. std::span Nesnelerin tutarlı bir bölümünü ifade eden bir nesneyi temsil eder.
(harita)