потому что IntoIterator заимплеменчен как для Vec, так и для &Vec (и для &mut Vec)

на самом деле в том же векторе метод iter нужен только для того (как мне кажется), чтобы не писать (&v).into_iter()

у него реализация ваще другая

это сути дела не меняет)

/// Returns an iterator over the slice. /// /// # Examples /// /// /// let x = &[1, 2, 4]; /// let mut iterator = x.iter(); /// /// assert_eq!(iterator.next(), Some(&1)); /// assert_eq!(iterator.next(), Some(&2)); /// assert_eq!(iterator.next(), Some(&4)); /// assert_eq!(iterator.next(), None); /// #[stable(feature = "rust1", since = "1.0.0")] #[inline] pub fn iter(&self) -> Iter<T> { unsafe { let p = if mem::size_of::<T>() == 0 { 1 as *const _ } else { let p = self.as_ptr(); assume(!p.is_null()); p }; Iter { ptr: p, end: slice_offset!(p, self.len() as isize), _marker: marker::PhantomData } } }

скорее у него он случайно из-за дерефа в &[T]

Всмысле unsafe это потенциальный UB, сможешь его там найти?

скорее у него он случайно из-за дерефа в &[T]

ты прав

ну дереф правда [T], но не суть

В std

ну дереф правда [T], но не суть

сорян, я просто динамические типы без & разучился уже писать, автоматом добавляют руки

Тогда чем плох ансейф в std?

тем что у тебя там может быть UB а как доказать что его нет, ты не знаешь? )

Любые

cat "c++_standart.txt" | grep "behaviour"

umsafe rust почти тоже самое

уровень троллинга просто зашкаливает

@tapok_satan @LooMaclin @notplhk

вносит смуту

@tapok_satan @LooMaclin @notplhk

а\

что где

когда

фух

что где

Ты опоздал

Сорь

Дай одминку нормальную

в джерке

там вайпают я сделать нихуя не могу

в основном чате я не засираю дайте хоть в джерке свободу

в том, что ты в СТД не найдешь ни одного места, где делается &T -> &mut T?

в том, что ты в СТД не найдешь ни одного места, где делается &T -> &mut T?

ну камон, ниже трансмьюта удар!

ну камон, ниже трансмьюта удар!

он еще хуже, ибо это была сейф-функция

*unsafe_cell.get() разыменует указатель, я думаю, ты имел в виду unsafe_cell.get() as &mut _ :)

используй, только правильно

Зависит от контекста

Если у тебя одна строка которая так делает

И нет больше кода

То пожалуйста

xD

ну вот заполнишь слайс нулями, потом дерефай его сколько угодно

например в случае actix как бы сразу 2 вещи были нарушены 1. он НЕ использовал UnsafeCell, из-за чего компилятор пометил как restricted оверлапящиеся указатели 2. он нарушил гайдлайны использования interior unsafety: If you create a safe reference with lifetime 'a (either a &T or &mut T reference) that is accessible by safe code (for example, because you returned it), then you must not access the data in any way that contradicts that reference for the remainder of 'a. For example, that means that if you take the *mut T from an UnsafeCell<T> and case it to an &T, then until that reference's lifetime expires, the data in T must remain immutable (modulo any UnsafeCell data found within T, of course). Similarly, if you create an &mut T reference that is released to safe code, then you must not access the data within the UnsafeCell until that reference expires. At all times, you must avoid data races, meaning that if multiple threads have access to the same UnsafeCell, then any writes must have a proper happens-before relation to all other accesses (or use atomics).

эмм, ты читаешь чем?

я совсем не то хотел

можешь посмотреть результирующий код

и поискать там UB

я честно говоря не понимаю, о чём спор

надо юзать — юзаешь, можешь без этого обойтись — обходишься

я думаю человек с плюсовым бэкграундом разберётся с сырыми указателями)

я думаю человек с плюсовым бэкграундом разберётся с сырыми указателями)

тебе напомнить вчерашнюю цитату от человека с плюсовым бекграундом?

м?

Очередное объяснение — это nullability для unique_ptr/shared_ptr. Как по мне, это не баг, а фича. Т.к. нулевое значение для указателя — это его фундаментальное свойство в C++. Для тех (извращенцев, прим. меня), кто хочет иметь non_null указатели, есть gsl::not_null.

нулловик-затейник

Инвалидность указателя - это тоже фундаментальное свойство

Это просто краткое обсуждение, которое закончилось "option ни нужен"

Очередное объяснение — это nullability для unique_ptr/shared_ptr. Как по мне, это не баг, а фича. Т.к. нулевое значение для указателя — это его фундаментальное свойство в C++. Для тех (извращенцев, прим. меня), кто хочет иметь non_null указатели, есть gsl::not_null.

слишком вырвано из контекста, я не понимаю, суть проблемы)

Это просто краткое обсуждение, которое закончилось "option ни нужен"

аааааа

ну в плюсах нет АДТ, поэтому там nullability таки нужно но говорить, что АДТ не нужно, это конечно такое "не понимаю, значит не нужно"

Помню проект на сишке, когда был школьником, там из-за того что не было хешмапа в с, а внешние либы юзать не комильфо, брали и перебирали масив структур, хорошо что значений было до 100.

Это я к тому, что мапы не нужны

Помню проект на сишке, когда был школьником, там из-за того что не было хешмапа в с, а внешние либы юзать не комильфо, брали и перебирали масив структур, хорошо что значений было до 100.

это кстати как мне кажется прям-таки бич сишечки и даже плюсов, все так и норовят завелосипедить всё подряд, аргументируя в стиле "тащить буст ради optional — ну нахуй"

ну не все конечно, но прям очень дофига кто

аааааа

https://habr.com/post/415737/#comment_18836515 - отсюда пару постов

Помню проект на сишке, когда был школьником, там из-за того что не было хешмапа в с, а внешние либы юзать не комильфо, брали и перебирали масив структур, хорошо что значений было до 100.

бтв мне надо каким-то раком реализовать мапу, и при этом не вылезти за байткод

ах да, при этом у меня нет возможности узнать, пустая ячейка или в ней ноль

https://habr.com/post/415737/#comment_18836515 - отсюда пару постов

типичный чувак, не умеющий в теорию типов, и никогда не пытавшийся в ФП

ах да, при этом у меня нет возможности узнать, пустая ячейка или в ней ноль

Делай как протобаф

Ноль = пусто

бтв мне надо каким-то раком реализовать мапу, и при этом не вылезти за байткод

Скопипиздь с раста

Делай как протобаф

а как мне определить, вернуть значение или None?

теги возить для всех значений?

очень не хотелось бы

особенно ценой увеличения неподдерживаемой и плохо оттестированной кодовой базы =)

а как мне определить, вернуть значение или None?

В протобафе просто считают пустоту - дефолтным значением

В протобафе просто считают пустоту - дефолтным значением

хм

У них нет разделение на "отсутствие" и "значение по умолчанию"

а как мне определить момент, ресайзить или нет?

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

но в моем случае надо как-то без ресайза что ли постараться реализовать? хер знает

в оригинальном эфириуме просто берется рандомная точка из 2^128

и туда пишутся данные