Zig конвертирует std.os.argv в argv типа C

Каков наиболее прагматичный способ приведения/сборки зиг-варгов в C-варги ( [][*:0]u8 -> [*c][*c]u8)

@ptrCast свойство .ptr на срезе:

const argv = std.os.argv;
const c_ptr: [*c][*c]u8 = @ptrCast(argv.ptr);

(Я не думаю, что здесь необходимо приведение указателя - он должен иметь возможность неявно приводить argv.ptr, но отказывается неявно приводить дочернего элемента указателя)

Что именно означает [*c][*c]u8? / Правильно ли я понимаю, что [*c][*c]u8 — это список указателей c, где каждый указатель c является указателем на первый символ строки, завершающейся нулем?

Указатели зигзага немного сбивают с толку. Существуют указатели, срезы и массивы значений с различными параметрами и схожим синтаксисом:

• *u8 : указатель на значение u8. Можно разыменовать (value.*), но нельзя индексировать (value[0]).
• [*]u8 : многоэлементный указатель неизвестной длины на значение u8. Можно индексировать, но нельзя разыменовывать.
• [*c]u8: тип указателя элемента «один или несколько», который существует только для совместимости с C. Он может быть как разыменованным, так и индексированным.
  • в c все указатели могут быть как разыменованы, так и проиндексированы:

    int myvalue = 0;
    int* mypointer = &myvalue;
    *mypointer = 1; // allowed
    mypointer[0] = 2; // allowed
    

  • при преобразовании c в zig zig не знает, предназначен ли указатель c для одного элемента или массива.
  • вот почему он генерирует указатели [*c], которые допускают оба использования.
• []u8 : срез, который представляет собой указатель и длину. это похоже на struct {ptr: [*]u8, len: usize}. Его можно индексировать, но нельзя разыменовывать.
• [N]u8 : тип массива значений. Это не указатель, хотя и выглядит так.

Указатели и фрагменты неизвестной длины могут иметь контрольное значение. [:0]u8 указывает, что срез имеет 0 после последнего элемента (slice[slice.len] == 0). [*:0]u8 указывает, что, хотя длина неизвестна, элемент после последнего элемента массива должен быть 0.

Как обычные указатели, так и указатели неизвестной длины могут неявно приводиться к указателям совместимости c.

Теперь, к вопросу

• [*c] один или несколько указателей элемента, содержащих
  • [*c] один или несколько указателей элемента, содержащих
    • ты8

Вы правы в своей интерпретации.

Поскольку мы знаем, что это массивы, лучшим представлением в zig было бы [*][*:0]u8, массив массивов. Однако translate-c не знает этого, поэтому выдает указатели совместимости c.

• [*] указатель массива неизвестной длины, содержащий
  • [*:0] неизвестная длина 0-дозорный указатель массива, содержащий
    • ты8

Поскольку мы также знаем длину внешнего массива (с помощью argv), мы можем объединить указатель [*][*:0]u8 и длину usize в срез: [][*:0]u8.

Вот почему std.os.argv возвращается [][*:0]u8.