主页 / user-1463922

PiotrNycz's questions

Martin Hope
PiotrNycz
Asked: 2024-11-13 21:50:04 +0800 CST
  • 11

我有一个案例，当结构类型需要非默认时operator<=>- 在定义对象顺序时并非所有字段都很重要。

struct A
{
    int a;
    int b; // not important when ordering
    int c;

    constexpr std::strong_ordering operator<=>(const A& rhs) const
    {
        if (const auto res = a<=>rhs.a; res != 0) return res;
        return c<=>rhs.c;
    }
};

令我惊讶的是，我不能使用这种类型的容器作为参数std::ranges::sort：

std::array<A, 100> aa{};
std::ranges::sort(aa);

我在最新的 gcc (14) 和 clang (19) 上检查了它，它基本上声称范围不可排序，因为std::invocable_v<std::ranges::less&, A&, A&>事实并非如此。请参阅godbold 链接

更多观察：

  1. 它与 std::sort( std::sort(aa.begin(), aa.end());)一起使用
  2. 添加非默认时有效operator==
  3. 并且它与默认值 ( =default)一起使用operator<=>

这是编译器错误、C++ 标准错误还是某些奇怪的 C++ 规则在这里起作用，并且应该是这样的？如果最后一个选项是正确的 - 您能为这种行为提供理由吗？

更新：

从评论来看，似乎std::ranges::less{}(A{}, A{})不仅需要operator<（派生自operator<=>），而且operator==不能从非默认派生而来，operator<=>因此出现错误。

但仍然存在一个问题——为什么std::ranges::less需要operator==？

评论中的更好的例子：链接

c++
Martin Hope
PiotrNycz
Asked: 2024-06-04 22:14:57 +0800 CST
  • 7

当仅使用std::variant<T...>从T...T 的某些仅向前声明的位置定义的指针/引用时 - 我遇到这个问题，我什至不能使用对此的指针或引用std::variant- 因为它的基类想要实例化 - 并且它们需要std::is_default_constructible和其他特征。

参见示例代码：

#include <variant>

struct A;
struct B;
using AB = std::variant<A,B>;
AB* ab();

template <typename T>
void usePointer(T*){}


int main() {
    // fails to compile because std::variant gets instantiated here!
    usePointer(ab());
}

为了简化示例 - 这就是我所看到的情况：

struct A;
struct B;

template <typename T>
void usePointer(T*){}


template <bool> class SomeBase {};

template <typename T>
struct Some : SomeBase<std::is_default_constructible_v<T>>
{};

Some<A>* someA(); 

int main() {
    // this will not compile - because  this
    // SomeBase<std::is_default_constructible_v<T>>
    // does not compile - because A is unknown
    usePointer(someA());
}

/opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits: In instantiation of 'constexpr const bool std::is_default_constructible_v<A>':
<source>:12:29:   required from 'struct Some<A>'
   12 | struct Some : SomeBase<std::is_default_constructible_v<T>>
      |                        ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:21:23:   required from here
   21 |     usePointer(someA());
      |                       ^
/opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:3385:54: error: invalid use of incomplete type 'struct A'
 3385 |   inline constexpr bool is_default_constructible_v = __is_constructible(_Tp);
      |                                                      ^~~~~~~~~~~~~~~~~~~~~~~
<source>:3:8: note: forward declaration of 'struct A'
    3 | struct A;
      |        ^
Compiler returned: 1

所有 3 个编译器（gcc、clang、msvc）的行为/拒绝方式相同 - 请参阅：https://godbolt.org/z/5cjf1Pv4d

问题：这是正确的吗？对我来说，这确实是一个错误 - 无论是在编译器实现中还是在标准中 - 但是我在标准中找不到任何强制执行此行为的内容。

“有趣”的是，当类模板也被向前声明时 - 一切正常。我的意思是 - 所有编译器都接受此代码：

struct A;

template <typename T>
void usePointer(T*){}

template <typename T> struct Some;

Some<A>* someA(); 

int main() {
    usePointer(someA());
}
c++