172 похожих чатов

Кто-То знает почему in в интерфейсе не работает? Баг?

12 ответов

10 просмотров

in контракты?

Алексей- Автор вопроса
Константин Диджа
in контракты?

Предусловие к функциям

Алексей
Предусловие к функциям

ну єто контракти а как они с интерфейсами работают? я просто не понимаю куда их там пихать

Алексей- Автор вопроса
Туночка️ ᅠᅠ️
ну єто контракти а как они с интерфейсами работаю...

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

Алексей- Автор вопроса
Туночка️ ᅠᅠ️
куда писать то

Та госпаде, шо ни разу не юзал? Я просто не за пк, не удобно

Алексей- Автор вопроса
Алексей- Автор вопроса
Туночка️ ᅠᅠ️
с интерфейсом нет

` interface I { int func(int x) in(x>0) in(x<20) // { // writeln("test-1"); // assert(x>0); // } out(ret) { writeln("test"); assert(ret > 0); } ​ ​ } ​ class C : I { int func(int x) // in (x<10) { assert(x<20); return x*2; } } ​ import std.stdio; ​ void main() { auto c=new C; writeln(c.func(22)); } `

предусловия дочерний класс может ослаблять, т.к. предусловия в нём не определены, то по итогу срабатывает true || условия из интерфейса, поэтому out сработает, а in нет, насколько я помню. Где-то ссылка была.

Похожие вопросы

Обсуждают сегодня

А чем вам питонисты не угодили?😂
.
79
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
Ребят, а за скок можно впарить анон чат с апишкой и веб админкой ?
Eugene Неелов
15
Ещё такой вопрос. Мне необходимо хранить пароль пользователя локально. Для этого планирую использовать ini файл. Это для автозаполнения полей логин и пароль при авторизации. Е...
Евгений
19
Anyone knows how to build this widget in Flutter? I have all the assets for round stations and the road, but how can I make the my widget animate between these stations? And h...
Mohammad Zamani
9
короче я не выдержал постоянно определять структуры, чтобы возвращать массивы разных типов. Как обычно еще это делают?
Павλо 🇺🇦
7
Подскажите как мне лучше держать websocket сединение и переодически передавать в него данные? Сначала я сделал так: for _ in 1...1000 { try? await ws.send("test") try...
Mihail Verenich
2
Ты просто гитлеровскую эстетику плохо понимаешь. Он же всё под Цезаря делал. А это как бы запрещённый приём в политике. Пиджаки они зачем все носят? Чтобы показать что они тип...
Ivan Kropotkin
4
А цены чем оправданы?
Lencore
7
Добрый вѣчер! Помню не раз было, но 1001 раз не лишний. Почему данные (элементы) из TList<TMyClass> куда то деваются? Точнее ранее прикопаный на них указатель больше не указыв...
Евгений
3
Карта сайта