English for D Language Developers

D навмисно розташована між C++ і мовами вищого рівня, і описуючи її точно, означає бути точним щодо того, які функції є під час компіляції, які є додатковими, і які є «версією D» концепції з іншої мови, а не ідентичним імпортом її.

Ключовий словник

** Виконання функцій під час компіляції (CTFE) ** — можливість D виконувати звичайні функції D під час компіляції для створення констант, пошукових таблиць або перевірених значень, без окремого макро або шаблону мови метапрограмування. “Ми не потребуємо генератора коду для цієї таблиці — виконання функції під час компіляції виконує ту ж саму функцію під час збирання, отже таблиця пошуку буде вбудована у бінарний файл замість обчислення при кожному запуску.”

** Template ** — Механізм D для написання загального, типово- параметризованого коду, який буде інстанційовано для конкретного типу під час компіляції, схожий за змістом на шаблони C++, але з чистішим синтаксисом і вбудованими обмеженнями. “Ця функція є шаблоном, обмеженим числовими типами, отже виклик її з рядком навіть не буде компілюватися — обмеження документує вимогу і одночасно її виконує.”

@nogc / garbage-collector opt-out — анотація, що позначає функцію як гарантовано не виділяється на збираючій сміття купі D, дозволяючи критичним для продуктивності кодом відмовитися від GC пауз повністю, в той час як решта кодової бази все ще використовує його вільно. “Позначте петлю відтворення @nogc — ми не можемо дозволити паузу GC в середині кадру, але код завантаження активів за межами петлі буде працювати нормально, якщо використовувати GC звичайним чином.”

** Range ** — стандартна абстракція D для послідовності, яку можна ітерувати ліниво, аналогічна ітератору, але складається за допомогою UFCS (синтаксис виклику уніфікованих функцій), що утворює хребт більшості стандартних алгоритмів бібліотеки D. “З’ єднайте їх як діапазони замість того, щоб виділяти проміжний масив на кожному кроці — filter, map, і take всі складаються тут ліниво, тому нічого не матеріалізується доки фінальний діапазон не буде фактично спожитий.”

** Контрактне програмування (вхідні/вихідні блоки) ** — вбудована підтримка D для передумов і постумов, приєднаних безпосередньо до декларацій функцій, перевіряються автоматично в зневаджуючих збірках і зняті в збірках випуску. “Покладіть цю не нульову перевірку в блок контракту in, а не як ручний if в верхній частині функції — вона документує попередню умову явно, і вона автоматично компілюється в збірках випуску, де ми не хочемо надмірних витрат.”

Звичайні фрази

• Чи може це працювати під час компіляції через CTFE, або ж дійсно потрібні дані під час виконання?
• Чи є це шаблоном, чи буде простіша функція з перевантаженнями тут?»
• Чи має цей шлях бути @nogc, або GC-визначення прийнятне тут?»
• Чи ми складаємо це як діапазон, чи матеріалізуємо масив, який нам насправді не потрібен?»
• Чи повинна ця передумова бути в контракті, або вручну перевірка виконання, яка відправляється в виробництво?

Приклади висловлювань

Пояснення оптимізації під час збирання: “Ця таблиця констант не є твердо кодованою — вона створюється за допомогою виконання функції під час компіляції з джерел даних, отже, якщо джерело даних зміниться, таблиця буде відновлена автоматично під час наступного збирання з нульовою вартістю виконання.”

Опис рішення щодо загальних правил: “Ми написали цей шаблон, обмежений типами, що реалізують інтерфейс Comparable, тому компілятор відразу відкидає неправильні екземпляри, замість того, щоб зазнавати невдачі десь глибоко всередині алгоритму сортування.”

Обґрунтування зміни, пов’ язаної з GC: “Ми позначили гарячий шлях @nogc після того, як профілювання показало, що паузи GC викликали падіння кадрів — все за межами цього шляху все ще розподіляє нормально, тому це є цільовим відключенням, а не перезаписом.”

Професійні поради

• Досягти ** виконання функції під час компіляції **, коли значення може бути законно обчислено заздалегідь — це повністю виключає витрати часу виконання, і D робить це набагато менш церемоніальним, ніж окремий генератор коду кроку збирання.
• Використовувати ** шаблон ** з явними обмеженнями, а не шаблон без обмежень — шаблон без обмежень створює заплутані помилки компілятора глибоко всередині тіла шаблона, замість того, щоб показувати явну помилку на місці виклику.
• Застосувати @nogc вузько, до певних шляхів, які насправді не можуть терпіти паузи GC — позначення занадто багато коду @nogc просто бореться з мовою замість використання її GC, де це справді добре.
• Віддавати перевагу алгоритмам складання як ** діапазонів **, ніж розподілу проміжних масивних на кожному кроці — це більш ідіоматичне для D і уникнення непотрібних розподілів у гарячих шляхах.
• Використовувати контрактне програмування (вхідні/вихідні блоки) для передумов і післяумов замість ручних перевірок, розкиданих по тілу функції — контракти самодокументуються і автоматично вилучаються з версій.

Практичні вправи

1. Пояснити, що робить виконання функцій під час компіляції і чому це знижує витрати під час виконання.
2. Описати, коли ви позначите функцію як @nogc, а коли залишите її у збірнику сміття.
3. Напишіть речення, у якому поясните, чому ліньке складання діапазонів може бути ефективнішим за виділення масивних рядків на кожному кроці.

Науковий ступінь: доктор філософії, спеціаліст з англійської мови

Основний словник D - компіляційні функції, GC opt-out, шаблони, діапазони - є ключовим. Однак, просто знати технічні терміни недостатньо, щоб справді процвітати як професійний розробник. Ефективне спілкування залежить від розуміння того, як ці концепції обговорюються і обговорюються в команді, особливо коли виникають проблеми або пропонуються зміни. Це виходить за рамки простих визначень; це про передачу наміру, конструктивне висловлення зауважень і чітке формулювання вимог. Поширена пастка для нерідних носіїв перекладає безпосередньо з фразування їх рідної мови, що може призвести до непорозумінь і тертя. Наприклад, фраза, яка може бути цілком прийнятною в одній мові, може звучати надто насильницькою або непевною в англійській.

Розглянемо сценарій: Сара щойно надіслала запит на витягування, який містить переробку складного алгоритму, заснованого на діапазоні, для обробки даних датчиків. Під час перегляду коду Марк залишає коментар, в якому йдеться: «Це цікавий підхід до обробки діапазонів даних датчиків. Чи можете ви роз’ яснити, чому ви обрали саме таку реалізацію замість традиційного ітеративного рішення? Можливо, додавання деяких тестів, що охоплюють крайні випадки, зміцнить впевненість у його правильності. “Просто перекладаючи “цікаво” як “interesante”, може не передати рівень огляду, який Марк має на увазі, і не розуміючи його запит на виправдання, може призвести до подальшого руху вперед і назад. Ключовим тут є розуміння того, що «цікаво» не обов’язково є позитивним відгуком; це запрошення до пояснення. Аналогічно, запит «унітарних тестів, що покривають крайові випадки» є стандартною практикою, що означає бажання надійної перевірки - щось, що не завжди прямо перекладається на інші мови.

Інша поширена ситуація виникає в розмовах Slack щодо відключення GC. Припустимо, що Девід запитує: “Ви впевнені, що ця структура даних не повинна бути відстежена збиральником сміття? Здається, що це може накопичувати значну кількість пам’яті, якщо ми не будемо чітко управляти її життям. “Дословний переклад може зосередитися на * технічній * причині для відключення - можливо, певний шаблон виділення пам’яті. Але Девід насправді запитує: «Чи ви впевнені, що ця конструкція не призведе до проблем з продуктивністю або витоків пам’яті? Чи можемо ми погодитися на стратегію моніторингу, щоб забезпечити її стабільність?» Ця нюансована формулювання підкреслює потенційні ризики і прагне до спільного розуміння та активного зменшення.

Нарешті, при написанні описів PR, чіткість є найважливішою. Замість простого повідомлення « Виправлено помилку в обробці діапазону », розгляньте: « Впроваджено переглянутий алгоритм для обробки діапазонів даних датчика, що вирішує проблеми з перервами, які спостерігалися під час поглинання даних великого обсягу. Ця зміна використовує кероване компілятором виконання функцій для оптимізації продуктивності, одночасно мінімізуючи витрати на GC, і включає всеосяжні тести модулів, спрямовані на критичні краї випадків. ” Цей розширений опис не тільки детально описує виправлення, але також пояснює * чому * його було зроблено і як він досягає своїх цілей — важлива інформація для переглядачів, яким потрібно зрозуміти контекст і вплив змін.

// Example: Using compiler-controlled function execution (a simplified illustration)
// In a real scenario, this would be configured within the D compiler flags.
#include <iostream>
#include <vector>

void my_function() {
    std::cout << "Executing my_function" << std::endl;
}

int main() {
    std::vector<int> numbers = {1, 2, 3, 4, 5};
    // Simulate a situation where compiler-controlled function execution is enabled.
    my_function(); // This call might be optimized by the compiler
    return 0;
}

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