Почему при использовании интерфейса ошибка компиляции исчезает?

@Соколиный глаз · Регистрация: 25.07.2014

Студворк — интернет-сервис помощи студентам

Почему в этом коде ошибка выполнения, а не компиляции:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
interface I1
{
}
 
class A : I1
{
}
 
class B : I1
{
}
 
class MainClass
{
    public static void Main(string[] args)
    {
        A x = new A();
        B y = (B)(I1)x;
    }
}

?

Почему в следующем коде ошибка компиляции вместо ошибки выполнения:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class A
{
}
 
class B
{
}
 
class MainClass
{
    public static void Main(string[] args)
    {
        A x = new A();
        B y = (B)x;
    }
}

?

Добавлено через 32 минуты
Вопрос актуален.

Добавлено через 3 минуты
Не потому ли первый код компилируется, что после приведения к I1 компилятор технически не может удостоверится в том существует ли оператор приведения

Code
1
A -> B

для типа A? Если да, то почему он не может это сделать? Что ему мешает?

Добавлено через 1 час 24 минуты
Тема актуальна.

@kolorotur · 19.10.2018, 19:13

Сообщение от Соколиный глаз

Почему в этом коде ошибка выполнения, а не компиляции:

Потому что имеется приведение типа A к типу I1 и типа I1 к типу B.

Сообщение от Соколиный глаз

очему в следующем коде ошибка компиляции вместо ошибки выполнения:

Потому что нет приведения типа A к типу B.

Сообщение от Соколиный глаз

почему он не может это сделать?

Потому что текущее поведение не противоречит спеку.
В крайнем случае он может выдать предупреждение, но если этого не делает, значит этот анализ никто не реализовал.

Новые блоги и статьи Все статьи Все блоги /
BOINC: 22 года — и всё ещё работает Programma_Boinc 12.03.2026 BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер,. . .	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .