Чи зберігається у файлах вихідний код C ++ 20 мандатів?

Дещо дивне питання, однак, якщо я добре пам’ятаю, вихідний код C ++ не потребує файлової системи для зберігання своїх файлів.

Зробити компілятор, який сканує рукописні документи через камеру, було б відповідною реалізацією. Хоча практично не має такого великого сенсу.

Однак C ++ 20 тепер додає розташування джерела file_name. Чи означає це, що вихідний код завжди повинен зберігатися у файлі?

Ні, вихідний код не повинен надходити з файлу (ні переходити у файл).

Ви можете компілювати (і зв’язати) C ++ повністю в трубі, поставивши компілятор посередині, наприклад

generate_source | g++ -o- -xc++ - | do_something_with_the_binary

і це було десятиліттями. Дивитися також:

• Чи можна змусити GCC читати з труби?
• Як зробити GCC вихід на stdout?

Введення std::source_locationна C ++ 20 такого стану речей не змінює. Просто якийсь код не матиме чітко визначеного місця розташування джерела (або він може бути чітко визначеним, але не дуже значущим). Власне, я б сказав, що наполягання на визначенні std::source_locationвикористання файлів є дещо міопічним ... хоча справедливо, це лише макро-менш еквівалент __FILE__і __LINE__які вже існують у C ++ (і C).

@ HBv6 зазначає, що якщо ви друкуєте значення __FILE__при компілюванні за допомогою GCC зі стандартного вхідного потоку:

echo -e '#include <iostream>\n int main(){std::cout << __FILE__ ;}' | g++ -xc++  -

запуск отриманих виконуваних відбитків <stdin>.

Вихідний код навіть може надходити з Інтернету.

@Morwenn зазначає, що цей код:

#include <https://raw.githubusercontent.com/Morwenn/poplar-heap/master/poplar.h>

// Type your code here, or load an example.
void poplar_sort(int* data, size_t size) {
    poplar::make_heap(data, data + size);
    poplar::sort_heap(data, data + size);
}

працює на GodBolt (але не працює на вашій машині - жоден популярний компілятор не підтримує це.)

Ви мовний юрист? Гаразд, давайте проконсультуємось зі стандартом.

На питання про те, чи потрібно джерелами програм C ++ надходити з файлів, в мовному стандарті чітко не дано відповіді. Розглядаючи проект стандарту C ++ 17 (n4713), розділ 5.1 [lex.separate] говорить:

1. Текст програми зберігається в одиницях, названих вихідними файлами в цьому документі. Вихідний файл разом із усіма заголовками (20.5.1.2) та вихідними файлами (19.2) через директиву про попередню обробку #include, за вирахуванням будь-яких джерельних рядків, пропущених будь-якими директивами попередньої обробки умовного включення (19.1), називається одиницею перекладу.

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

У будь-якому випадку, std::source_locationсхоже, це зміна цього формулювання в C ++ 20 чи не вплине на його тлумачення (AFAICT).

Ще до C ++ 20 стандарт мав:

__FILE__

Імовірно ім'я поточного вихідного файлу (символьний рядок буквально).

Визначення те саме для source_location::file_name.

Таким чином, не відбулося жодних змін щодо підтримки для реалізацій без файлової системи в C ++ 20.

Стандарт не точно визначає, що означає "вихідний файл", тому, чи стосується він файлової системи, може бути інтерпретація. Імовірно, це може відповідати реалізації, щоб створити "рукописну замітку, яку ви мені дали саме тоді", якщо це дійсно ідентифікує "вихідний файл" у цій реалізації мови.

На закінчення: Так, джерела називаються "файлами" за стандартом, але що таке "файл" та чи є файлова система, не визначено.