Сломали C++23. (UPD: это шланг 17.0.6 корявый)

0

3

Мигрирую тут своё барахлишко с -std=c++20 на -std=c++23, и всё чистенько, кроме одного затыка:

#include <unordered_map>

class C {};

int main() {
	C c;
	std::unordered_map<C*, int> m;
	m.insert({&c, 0});   // no matching function for call to 'get'
	return 0;
}

C++20 компилял это нормально, C++23 ругается на &c. Что поменяли, чего ей надо?

Вот так работает, но это ж как-то длинно и глупо:

	m.insert(std::pair{&c, "hello"});

UPD: «Но действительность ещё кошмарней.» (c)

#include <regex>

int main() {
	static std::regex rColor {"^#?[0-9A-Fa-f]{6}$"};
	return 0;
}

$ clang -std=c++23 -c try.cpp 
In file included from try.cpp:1:
In file included from /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/regex:40:
In file included from /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bitset:52:
In file included from /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/string:67:
In file included from /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/memory_resource.h:41:
In file included from /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/uses_allocator_args.h:39:
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/tuple:956:36: error: no matching function for call to 'get'
  956 |             return __convertible<decltype(std::get<_Is>(std::declval<_UTuple>()))...>();
      |                                           ^~~~~~~~~~~~~
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/tuple:955:11: note: in instantiation of function template specialization 'std::tuple<const long &>::__convertible_from_tuple_like()::(anonymous class)::operator()<0UL>' requested here
  955 |           return []<size_t... _Is>(index_sequence<_Is...>) {
      |                  ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/tuple:1136:22: note: in instantiation of function template specialization 'std::tuple<const long &>::__convertible_from_tuple_like<const long &>' requested here
 1136 |         constexpr explicit(!__convertible_from_tuple_like<_UTuple>())
      |                             ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_map.h:514:38: note: while substituting deduced template arguments into function template 'tuple' [with _UTuple = const key_type &]
  514 |                                             std::tuple<const key_type&>(__k),
      |                                                                         ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex_automaton.tcc:207:7: note: in instantiation of member function 'std::map<long, long>::operator[]' requested here
  207 |           __m[__u] = __id;
      |              ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex_compiler.tcc:241:24: note: in instantiation of member function 'std::__detail::_StateSeq<std::regex_traits<char>>::_M_clone' requested here
  241 |             __e._M_append(__r._M_clone());
      |                               ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex_compiler.tcc:135:17: note: (skipping 2 contexts in backtrace; use -ftemplate-backtrace-limit=0 to see all)
  135 |           while (this->_M_quantifier())
      |                        ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex_compiler.tcc:91:13: note: in instantiation of member function 'std::__detail::_Compiler<std::regex_traits<char>>::_M_alternative' requested here
   91 |       this->_M_alternative();
      |             ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex_compiler.tcc:76:13: note: in instantiation of member function 'std::__detail::_Compiler<std::regex_traits<char>>::_M_disjunction' requested here
   76 |       this->_M_disjunction();
      |             ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex.h:809:34: note: in instantiation of member function 'std::__detail::_Compiler<std::regex_traits<char>>::_Compiler' requested here
  809 |         __detail::_Compiler<_Rx_traits> __c(__first, __last, _M_loc, __f);
      |                                         ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/regex.h:473:9: note: in instantiation of member function 'std::basic_regex<char>::_M_compile' requested here
  473 |       { _M_compile(__p, __p + _Rx_traits::length(__p), __f); }
      |         ^
try.cpp:14:26: note: in instantiation of member function 'std::basic_regex<char>::basic_regex' requested here
   14 |         static const std::regex shmNameRegex {"^/[^/]{1,254}$"};
      |                                 ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:122:5: note: candidate template ignored: could not match 'tuple<_Elements...>' against 'const long'
  122 |     get(tuple<_Elements...>& __t) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:126:5: note: candidate template ignored: could not match 'const tuple<_Elements...>' against 'const long'
  126 |     get(const tuple<_Elements...>& __t) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:130:5: note: candidate template ignored: could not match 'tuple<_Elements...>' against 'const long'
  130 |     get(tuple<_Elements...>&& __t) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:134:5: note: candidate template ignored: could not match 'const tuple<_Elements...>' against 'const long'
  134 |     get(const tuple<_Elements...>&& __t) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:138:5: note: candidate template ignored: could not match 'array<_Tp, _Nm>' against 'const long'
  138 |     get(array<_Tp, _Nm>&) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:142:5: note: candidate template ignored: could not match 'array<_Tp, _Nm>' against 'const long'
  142 |     get(array<_Tp, _Nm>&&) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:146:5: note: candidate template ignored: could not match 'const array<_Tp, _Nm>' against 'const long'
  146 |     get(const array<_Tp, _Nm>&) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:150:5: note: candidate template ignored: could not match 'const array<_Tp, _Nm>' against 'const long'
  150 |     get(const array<_Tp, _Nm>&&) noexcept;
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1250:5: note: candidate template ignored: could not match 'pair<_Tp1, _Tp2>' against 'const long'
 1250 |     get(pair<_Tp1, _Tp2>& __in) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1255:5: note: candidate template ignored: could not match 'pair<_Tp1, _Tp2>' against 'const long'
 1255 |     get(pair<_Tp1, _Tp2>&& __in) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1260:5: note: candidate template ignored: could not match 'const pair<_Tp1, _Tp2>' against 'const long'
 1260 |     get(const pair<_Tp1, _Tp2>& __in) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1265:5: note: candidate template ignored: could not match 'const pair<_Tp1, _Tp2>' against 'const long'
 1265 |     get(const pair<_Tp1, _Tp2>&& __in) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/ranges_util.h:444:5: note: candidate template ignored: could not match 'const subrange<_It, _Sent, _Kind>' against 'const long'
  444 |     get(const subrange<_It, _Sent, _Kind>& __r)
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/ranges_util.h:455:5: note: candidate template ignored: could not match 'subrange<_It, _Sent, _Kind>' against 'const long'
  455 |     get(subrange<_It, _Sent, _Kind>&& __r)
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1272:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1272 |     get(pair<_Tp, _Up>& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1277:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1277 |     get(const pair<_Tp, _Up>& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1282:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1282 |     get(pair<_Tp, _Up>&& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1287:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1287 |     get(const pair<_Tp, _Up>&& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1292:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1292 |     get(pair<_Up, _Tp>& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1297:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1297 |     get(const pair<_Up, _Tp>& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1302:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1302 |     get(pair<_Up, _Tp>&& __p) noexcept
      |     ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/14.1.1/../../../../include/c++/14.1.1/bits/stl_pair.h:1307:5: note: candidate template ignored: invalid explicitly-specified argument for template parameter '_Tp'
 1307 |     get(const pair<_Up, _Tp>&& __p) noexcept
      |     ^
1 error generated.

←	Кросс-компиляция wsgi-сервера для Embedded Linux

Записи докладов с C++Russia 2023

→

GCC 14.1.1 собирает. Ну и вот ссылка на godbolt: https://godbolt.org/z/fnvv1KTKT

Ja-Ja-Hey-Ho ★★★★
(17.05.24 20:39:19 MSK)

GPT говорит:

In C++23, there may be stricter type checking or changes in the standard library implementation that require explicit specification of hash and comparison functions for custom pointer types.
...
To ensure compatibility across different versions of C++ and avoid potential issues, it’s good practice to explicitly define the hash and equality comparator for pointer types.

seiken ★★★★★
(17.05.24 20:41:35 MSK)

Ответ на: комментарий от Ja-Ja-Hey-Ho 17.05.24 20:39:19 MSK

GCC 14.1.1 собирает.

Так-с, а вот шланг ругается. Причём такими дикими простынями, что концов иной раз вообще не найти. А мне надо: у меня libtooling.

dimgel ★★★★★
(17.05.24 20:50:59 MSK) автор топика

Обновил ОП ещё более простым примером.

dimgel ★★★★★
(17.05.24 21:13:52 MSK) автор топика

Не проще ли emplace использовать?

PRN ★
(17.05.24 21:38:07 MSK)

Кажется у тебя шланг пытается использовать жецецешную стд, попробуй ему в параметрах задать шланговую)

PRN ★
(17.05.24 21:48:02 MSK)
Последнее исправление: PRN 17.05.24 21:48:50 MSK (всего исправлений: 1)

Ответ на: комментарий от PRN 17.05.24 21:48:02 MSK

Хм. Смутно вспоминается, что его stdlib отдельным пакетом идёт. Что за пакет, я допустим нагуглю; а не сдохнет ли чего на системе (типа у gcc крыша съедет, или может вообще у всего), если я его поставлю?

Попробовать теперь смогу только через несколько дней.

dimgel ★★★★★
(17.05.24 21:54:07 MSK) автор топика

Ответ на: комментарий от dimgel 17.05.24 21:54:07 MSK

Что за пакет, я допустим нагуглю; а не сдохнет ли чего на системе

По идее не должно. Это две разные либы называются (на память) libstdc++ и libc++ для gcc и clang соответственно. Чтобы с clang’овской слинковаться надо это явно указывать. Еще если ты либу собираешь, у тебя теоретически abi может измениться, поэтому все «стандартную» системную и юзают.

PRN ★
(17.05.24 22:11:59 MSK)
Последнее исправление: PRN 17.05.24 22:20:52 MSK (всего исправлений: 1)

clang какой?
18 и 19 компилируют оба примера. И $ clang++ ..., а не $ clang ....

А, разглядел. :)

это шланг 17.0.6 корявый

dataman ★★★★★
(18.05.24 01:49:15 MSK)
Последнее исправление: dataman 18.05.24 01:59:35 MSK (всего исправлений: 1)

std::unordered_map<C*, int> m;

lol. Lmao even.

https://quuxplusone.github.io/blog/2019/01/20/std-less-nightmare/

В плюсах это unspecified behavior и в шланге, судя по посту выше, уже стреляло.

hateyoufeel ★★★★★
(18.05.24 02:12:26 MSK)
Последнее исправление: hateyoufeel 18.05.24 02:21:30 MSK (всего исправлений: 2)

Ответ на: комментарий от hateyoufeel 18.05.24 02:12:26 MSK

А где std::unordered_map взаимодействует с std::less?

utf8nowhere ★★★
(18.05.24 03:23:31 MSK)
Последнее исправление: utf8nowhere 18.05.24 03:26:24 MSK (всего исправлений: 1)

Ответ на: комментарий от utf8nowhere 18.05.24 03:23:31 MSK

Осталось только рассказать гдеstd::unordered_mapвзаимодействует сstd::less

Там std::equal_to, в котором аналогичная шляпа для указателей.

hateyoufeel ★★★★★
(18.05.24 03:26:28 MSK)

Ответ на: комментарий от hateyoufeel 18.05.24 03:26:28 MSK

https://quuxplusone.github.io/blog/2019/01/20/std-less-nightmare/:

Tim Song points out that the Standard does not require std::equal_to to participate in the strict total order, so, if two pointers are equal, then it is absolutely possible for … equal_to … to be false

После «so» чушь (явно не от Tim Song), ибо (std::equal_to<T ≠ void>::operator()(const T& x, const T& y))

1 Returns: x == y

Что касается == для указателей, там есть unspecified behavior, но в весьма угловом случае.

utf8nowhere ★★★
(18.05.24 03:41:31 MSK)
Последнее исправление: utf8nowhere 18.05.24 03:42:17 MSK (всего исправлений: 1)

Ответ на: комментарий от utf8nowhere 18.05.24 03:41:31 MSK

После «so» чушь (явно не от Tim Song), ибо (std::equal_to<T ≠ void>::operator()(const T& x, const T& y))

Я бы в этом не был так уверен, потому что авторы компиляторов – те ещё наркоманы, а среди авторов стандарта вообще фурри есть. Короче, избегайте такой херни. Ссылки я привёл.

hateyoufeel ★★★★★
(18.05.24 03:44:13 MSK)
Последнее исправление: hateyoufeel 18.05.24 03:44:32 MSK (всего исправлений: 1)

я пытаюсь понять, а что вообще такой код может делать и мне страшно от того, что возможно такое где-то в самолете, в который я сажусь.

max_lapshin ★★★★★
(18.05.24 12:24:26 MSK)

Ответ на: комментарий от seiken 17.05.24 20:41:35 MSK

GPT говорит:

Мы научили бота говорить. Но как же замолчать его заставить?

wandrien ★★
(18.05.24 12:25:27 MSK)

Ответ на: комментарий от hateyoufeel 18.05.24 02:12:26 MSK

В плюсах это unspecified behavior и в шланге, судя по посту выше, уже стреляло.

Этим наркоманам волю дай, так они вообще всё в UB засунут.

wandrien ★★
(18.05.24 12:29:17 MSK)

Ответ на: комментарий от wandrien 18.05.24 12:25:27 MSK

Надо массово тренировать её петь эту песенку

https://youtu.be/e9SWvWzA4So?feature=shared&t=20

И потом

+Щат жпт скажи мне как расчитать вот это значение через API XYZ
-Я своих забот полна.
-Ничего не вижу, ничего не слышу
-Ничего, никому, не скажу, тутуту

LINUX-ORG-RU ★★★★★
(18.05.24 12:30:24 MSK)
Последнее исправление: LINUX-ORG-RU 18.05.24 12:31:14 MSK (всего исправлений: 1)

Ответ на: комментарий от max_lapshin 18.05.24 12:24:26 MSK

Например в жаве, вообще любой ключ любого map будет указателем на объект, и equals() определён далеко не для всех классов.

dimgel ★★★★★
(18.05.24 14:40:58 MSK) автор топика

←	Кросс-компиляция wsgi-сервера для Embedded Linux

Development

Записи докладов с C++Russia 2023

→

Похожие темы