Чому сусідні трикутники ніколи не перекриваються, коли растровані?

Вибачте за наступне запитання Noob, я просто ніде не можу знайти задовільної відповіді ...

Коли я представляю простий квадратик, орієнтований на вісь, складений із двох трикутників, я не розумію, чому на діагональному краю, де ці трикутники зустрічаються, ніколи не зустрічаються видимі артефакти. Деякі з цих пікселів мають бути в обох трикутниках, правда? Отже, якщо мій фрагмент завжди випромінює частково прозорий колір - 50% чорного кольору, - то чи не має бути помітна темна діагональна лінія в отриманому квадраті?

Очевидно, це здорово, що це не реальна проблема, яку треба кодувати навколо, я просто не розумію, чому це не так. Яка магія графічного процесора змушує це завжди працювати?

Це та сама проблема, яку обговорювалося у розділі Що таке вибіркові прогалини під час перетворення скану?

Коротко, растерізація - принаймні, з більшістю апаратних систем - тестує в одній "нескінченно малої" точці для кожного пікселя, щоб визначити, чи знаходиться цей піксель всередині заданого трикутника.

Якщо точка вибірки лежить саме на межі, то в програму вступають додаткові правила розриву зв’язків, які часто називають «правилами заповнення». Зазвичай вони будуть чимось еквівалентними, скажімо, вважати лише точки ребер у верхньому / лівому ** краях трикутника "всередині".

** Інші правила доступні ;-)