尝试在派生 类 中使用宇宙飞船运算符
Trying to use spaceship operator in derived classes
我正在尝试在基础 class 中使用宇宙飞船运算符,所以我会通过编译器定义所有运算符。 (来源:https://devblogs.microsoft.com/cppblog/simplify-your-code-with-rocket-science-c20s-spaceship-operator/)
但是我遇到了我不明白的问题。
源代码:https://godbolt.org/z/SZnNfK
#include <chrono>
#include <cassert>
#include <iostream>
#define USE_SPACESHIP
class ITimestampWrapper
{
public:
ITimestampWrapper() noexcept
: _timestamp(std::chrono::steady_clock::now())
{
}
explicit ITimestampWrapper(std::chrono::steady_clock::time_point timestamp) noexcept
: _timestamp(timestamp)
{
}
#ifndef USE_SPACESHIP
friend bool operator<(const ITimestampWrapper& lhs, const ITimestampWrapper& rhs)
{
return lhs._timestamp < rhs._timestamp;
}
friend bool operator>(const ITimestampWrapper& lhs, const ITimestampWrapper& rhs)
{
return lhs._timestamp > rhs._timestamp;
}
#else
friend auto operator<=>(const ITimestampWrapper&, const ITimestampWrapper&) = default;
#endif
virtual ~ITimestampWrapper() = default;
private:
std::chrono::steady_clock::time_point _timestamp;
};
class testClass : public ITimestampWrapper
{
public:
testClass() = default;
explicit testClass(std::chrono::steady_clock::time_point test)
: ITimestampWrapper(test)
{
}
int _x = 0;
};
class testClass2 : public ITimestampWrapper
{
public:
testClass2() = default;
explicit testClass2(std::chrono::steady_clock::time_point test)
: ITimestampWrapper(test)
{
}
int _x = 0;
};
int main()
{
auto testTime = std::chrono::steady_clock::now();
testClass A;
A._x = 50000;
testClass B(testTime);
B._x = 6000;
if(A > B)
{
std::cout << "Correct A is older than B" << std::endl;
}
else
{
std::cout << "Wrong A is older than B" << std::endl;
}
auto testTime2 = std::chrono::steady_clock::now();
testClass AA;
AA._x = 50000;
testClass2 BB(testTime2);
BB._x = 6000;
if(AA > BB)
{
std::cout << "Correct AA is older than BB" << std::endl;
}
else
{
std::cout << "Wrong AA is older than BB" << std::endl;
}
}
输出:
WITH USE_SPACESHIP:
Correct A is older than B
Wrong AA is not older than BB // <--- This is wrong, AA is older
WITHOUT USE_SPACESHIP:
Correct A is older than B
Correct AA is older than BB
当我自己在基础 class 中实现运算符 < 和 > 时,即使我将不同的 class 与相同的基础进行比较,比较也能正常工作。
但是当我使用 spaceship 运算符时,比较仅在应用于具有相同基数的相同 ClassType 时才有效。
这两种方法有何不同?
注意:我只想比较基数 class 的时间戳,而不是基数 class 的任何其他时间戳,也不是派生的 class
取消定义 USE_SPACESHIP 宏以使用 class 逻辑运算符重载
谢谢。
编辑:我尝试使用 CRTP 方法但遇到了同样的问题。
如果您省略 -O3
或提供 -O0
,它会起作用。 -O1
和 -O2
也失败。看起来像是编译器错误(或某处未定义的行为)。
我想这是 GCC 的一个错误。正如您在此程序集中看到的 here:
mov eax, OFFSET FLAT:vtable for testClass+16
cmp rax, OFFSET FLAT:vtable for testClass2+16
Gcc比较vtable的成员:它比较的是AA的静态类型和BB的静态类型,而不是时间戳。
我正在尝试在基础 class 中使用宇宙飞船运算符,所以我会通过编译器定义所有运算符。 (来源:https://devblogs.microsoft.com/cppblog/simplify-your-code-with-rocket-science-c20s-spaceship-operator/)
但是我遇到了我不明白的问题。
源代码:https://godbolt.org/z/SZnNfK
#include <chrono>
#include <cassert>
#include <iostream>
#define USE_SPACESHIP
class ITimestampWrapper
{
public:
ITimestampWrapper() noexcept
: _timestamp(std::chrono::steady_clock::now())
{
}
explicit ITimestampWrapper(std::chrono::steady_clock::time_point timestamp) noexcept
: _timestamp(timestamp)
{
}
#ifndef USE_SPACESHIP
friend bool operator<(const ITimestampWrapper& lhs, const ITimestampWrapper& rhs)
{
return lhs._timestamp < rhs._timestamp;
}
friend bool operator>(const ITimestampWrapper& lhs, const ITimestampWrapper& rhs)
{
return lhs._timestamp > rhs._timestamp;
}
#else
friend auto operator<=>(const ITimestampWrapper&, const ITimestampWrapper&) = default;
#endif
virtual ~ITimestampWrapper() = default;
private:
std::chrono::steady_clock::time_point _timestamp;
};
class testClass : public ITimestampWrapper
{
public:
testClass() = default;
explicit testClass(std::chrono::steady_clock::time_point test)
: ITimestampWrapper(test)
{
}
int _x = 0;
};
class testClass2 : public ITimestampWrapper
{
public:
testClass2() = default;
explicit testClass2(std::chrono::steady_clock::time_point test)
: ITimestampWrapper(test)
{
}
int _x = 0;
};
int main()
{
auto testTime = std::chrono::steady_clock::now();
testClass A;
A._x = 50000;
testClass B(testTime);
B._x = 6000;
if(A > B)
{
std::cout << "Correct A is older than B" << std::endl;
}
else
{
std::cout << "Wrong A is older than B" << std::endl;
}
auto testTime2 = std::chrono::steady_clock::now();
testClass AA;
AA._x = 50000;
testClass2 BB(testTime2);
BB._x = 6000;
if(AA > BB)
{
std::cout << "Correct AA is older than BB" << std::endl;
}
else
{
std::cout << "Wrong AA is older than BB" << std::endl;
}
}
输出:
WITH USE_SPACESHIP:
Correct A is older than B
Wrong AA is not older than BB // <--- This is wrong, AA is older
WITHOUT USE_SPACESHIP:
Correct A is older than B
Correct AA is older than BB
当我自己在基础 class 中实现运算符 < 和 > 时,即使我将不同的 class 与相同的基础进行比较,比较也能正常工作。
但是当我使用 spaceship 运算符时,比较仅在应用于具有相同基数的相同 ClassType 时才有效。
这两种方法有何不同?
注意:我只想比较基数 class 的时间戳,而不是基数 class 的任何其他时间戳,也不是派生的 class
取消定义 USE_SPACESHIP 宏以使用 class 逻辑运算符重载
谢谢。
编辑:我尝试使用 CRTP 方法但遇到了同样的问题。
如果您省略 -O3
或提供 -O0
,它会起作用。 -O1
和 -O2
也失败。看起来像是编译器错误(或某处未定义的行为)。
我想这是 GCC 的一个错误。正如您在此程序集中看到的 here:
mov eax, OFFSET FLAT:vtable for testClass+16
cmp rax, OFFSET FLAT:vtable for testClass2+16
Gcc比较vtable的成员:它比较的是AA的静态类型和BB的静态类型,而不是时间戳。