Телеграмм чат группы ProCxx страница 16373

да, я прочитал

11:54пожаловаться #1

АР

столкнулся с тем что у меня поведение различается

Александр Караев... in pro.cxx

11:55пожаловаться #2

АК

столкнулся с тем что у меня поведение различается

UB в компараторе?

11:55пожаловаться #3

АР

да блин если бы (

11:55пожаловаться #4

АР

короче минимальный пример:
https://godbolt.org/z/s6dWj9
я уже голову сломал, хз

using namespace std;

struct Key {
int a;

bool operator < (const Key& rhs) const noexcept {
if (a == 0 || rhs.a == 0) {
return false;
}

if (a != rhs.a) {
return a < rhs.a;
}

return false;
}
};

int main() {
map<Key, int> m {
{{1}, 1},
{{2}, 1},
{{3}, 1}
};

{
auto [begin, end] = m.equal_range({0});
cout << distance(begin, end) << endl;
}

{
auto begin = m.lower_bound({0});
auto end = m.lower_bound({0});
cout << distance(begin, end) << endl;
}
}

Александр Караев... in pro.cxx

12:16пожаловаться #5

АК

короче минимальный пример:
https://godbolt.org/z/s6dWj9
я уже голову сломал, хз

using namespace std;

struct Key {
int a;

bool operator < (const Key& rhs) const noexcept {
if (a == 0 || rhs.a == 0) {
return false;
}

if (a != rhs.a) {
return a < rhs.a;
}

return false;
}
};

int main() {
map<Key, int> m {
{{1}, 1},
{{2}, 1},
{{3}, 1}
};

{
auto [begin, end] = m.equal_range({0});
cout << distance(begin, end) << endl;
}

{
auto begin = m.lower_bound({0});
auto end = m.lower_bound({0});
cout << distance(begin, end) << endl;
}
}

UB в компараторе
Key(0) < Key(1) == false
Key(1) < Key(0) == false

следствие (с точки зрения std::map) - Key(1) == Key(0) -> UB

12:19пожаловаться #6

АР

так в этом и идея

12:19пожаловаться #7

АР

что я в примере хочу получить по факту всю мапу

12:19пожаловаться #8

АР

потому что все ключи из мапы equal к ключу, который я передаю в equal_range

12:20пожаловаться #9

SE

короче минимальный пример:
https://godbolt.org/z/s6dWj9
я уже голову сломал, хз

using namespace std;

struct Key {
int a;

bool operator < (const Key& rhs) const noexcept {
if (a == 0 || rhs.a == 0) {
return false;
}

if (a != rhs.a) {
return a < rhs.a;
}

return false;
}
};

int main() {
map<Key, int> m {
{{1}, 1},
{{2}, 1},
{{3}, 1}
};

{
auto [begin, end] = m.equal_range({0});
cout << distance(begin, end) << endl;
}

{
auto begin = m.lower_bound({0});
auto end = m.lower_bound({0});
cout << distance(begin, end) << endl;
}
}

эм, вопрос не про это, а куда с годболта msvc пропал О_О

Александр Караев... in pro.cxx

12:20пожаловаться #10

АК

что я в примере хочу получить по факту всю мапу

ты задал компаратор, который нарушает требования std::map, в коде UB

12:20пожаловаться #11

AF

Aidar Fattakhov in pro.cxx

короче минимальный пример:
https://godbolt.org/z/s6dWj9
я уже голову сломал, хз

using namespace std;

struct Key {
int a;

bool operator < (const Key& rhs) const noexcept {
if (a == 0 || rhs.a == 0) {
return false;
}

if (a != rhs.a) {
return a < rhs.a;
}

return false;
}
};

int main() {
map<Key, int> m {
{{1}, 1},
{{2}, 1},
{{3}, 1}
};

{
auto [begin, end] = m.equal_range({0});
cout << distance(begin, end) << endl;
}

{
auto begin = m.lower_bound({0});
auto end = m.lower_bound({0});
cout << distance(begin, end) << endl;
}
}

мб написать транзитивный компаратор?

12:20пожаловаться #12

АР

Александр Караев

ты задал компаратор, который нарушает требования std::map, в коде UB

а какие требования то? Я не могу понять где нарушается транзитивность

12:20пожаловаться #13

SE

короче минимальный пример:
https://godbolt.org/z/s6dWj9
я уже голову сломал, хз

using namespace std;

struct Key {
int a;

bool operator < (const Key& rhs) const noexcept {
if (a == 0 || rhs.a == 0) {
return false;
}

if (a != rhs.a) {
return a < rhs.a;
}

return false;
}
};

int main() {
map<Key, int> m {
{{1}, 1},
{{2}, 1},
{{3}, 1}
};

{
auto [begin, end] = m.equal_range({0});
cout << distance(begin, end) << endl;
}

{
auto begin = m.lower_bound({0});
auto end = m.lower_bound({0});
cout << distance(begin, end) << endl;
}
}

ты еще в шланге попробуй) с -stdlib=libc++

12:20пожаловаться #14

АР

я никогда в мапу не запихиваю {0}

12:20пожаловаться #15

SE

другой результат

12:20пожаловаться #16

SE

пишите ишью

12:21пожаловаться #17

AF

Aidar Fattakhov in pro.cxx

а траизитивность нукжна только если втсавляешь чтоль?

12:21пожаловаться #18

АР

по идее нет. Но когда идет поиск мапа же не сравнивает ключи разных нод между собой

12:22пожаловаться #19

АР

только переданное значение с ключами нод