type-safety

1зной

1ответ

сгладить вложенный кортеж в scala (без бесформенного)

Я пишу декодер для синтаксического анализа из потока байтов в объект с предопределенным форматом. Я придумал ниже класса trait Decoder[In] { type Out def decode(bs: In): (Out, In) } objec

scala generics type-safety 2017-01-10

---

1зной

1ответ

Как объявить NSArray определенного типа в Swift?

Мне нужно передать массив по ссылке (потому что вызываемая функция изменяет его, и изменения должны отражаться на сайте вызова). Поскольку Swift массивы передаются по значению и NSArrays, по ссылке, я

swift generics nsarray pass-by-reference type-safety 2017-01-23

---

4зной

2ответ

Безопасные нетривиальные зависимости данных/пользовательские ссылки?

Одной из центральных особенностей Rust является постоянная безопасность ссылок, которая достигается за счет механики владения и явного времени жизни. Возможно ли реализовать «пользовательские» ссылки,

rust type-safety borrow-checker 2017-01-25

---

2зной

1ответ

Тип возвращаемого типа для перегруженных функций, TypeScript

Код ниже не удался. TypeScript (ошибочно) считает, что возвращаемый тип равен string и позволит вам называть метод charAt, когда он фактически является number. Есть ли способ улучшить код, чтобы TypeS

typescript type-safety 2016-12-10

---

0зной

1ответ

Любой способ выполнить проверку безопасности типа после static_cast?

Ограничение интерфейса заставляет меня отличать MyObject* в void*, используя static_cast. При возврате этого указателя к последующим вызовам интерфейса, я должен выполнить еще один static_cast от void

c++ casting void-pointers type-safety 2017-01-30

---

7зной

2ответ

Почему лямбда-выражение возвращает локальный тип класса enum?

Почему и как это работает? Какой тип 'авто'? auto lambda = [](){ enum class Local { X=0 }; return Local::X; }; auto x = lambda(); // No error! Why and what type is auto in this case? aut

lambda scope c++14 type-safety enum-class 2017-02-02

---

6зной

3ответ

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

Скажите у вас есть следующий код: class A { bool _attribute1; }; // Arbitrarily using std::string, not the point of this question std::string serialize(const A&); Теперь разработчик добавля

c++ serialization type-safety 2016-12-26

---

1зной

1ответ

C# Generics и Type Safety at Runtime

Я даже не уверен, как лучше всего сформулировать вопрос, но я посмотрю, что я могу сделать. У меня есть цель, но я не знаю, как это сделать, или, если возможно, достичь этого. Предположим, у меня есть

c# .net generics types type-safety 2016-12-27

---