c - 如何将 Zig String 文字传递给 C

Question

Zig 字符串字面量是一个 single-item pointer to a null-terminated byte array ，它非常适合用作 C 的 char * String!

但是，当我尝试使用 Zig 中的这个简单的 C 函数时:

int count_bytes(const char *str) {
  int count = 0;
  while(str[count]) {
    count++;
  }
  return count;
}

来电者:

const std = @import("std");
const c = @cImport({
    @cInclude("add.c");
});
const testing = std.testing;

test "should be able to count string length" {
    try testing.expectEqual(0, c.count_bytes(""));
}

我收到这个错误:

./src/main.zig:16:46: error: expected type '[*c]u8', found '*const [0:0]u8'
    try testing.expectEqual(0, c.count_bytes(""));
                                             ^
./src/main.zig:16:46: note: cast discards const qualifier
    try testing.expectEqual(0, c.count_bytes(""));
                                             ^

This article在类似情况下解释了 Zig String 文字，但我无法使用该技巧使 String 成为非 const:

test "should be able to count string length" {
    var cstr = "".*;
    try testing.expectEqual(0, c.count_bytes(&cstr));
}

结果是一个更奇怪的错误:

./src/main.zig:17:45: error: expected type 'comptime_int', found 'c_int'
    try testing.expectEqual(0, c.count_bytes(&cstr));
                                            ^

我还尝试将字符串转换为 C Pointer as shown in the Zig Docs :

test "should be able to count string length" {
    var cstr: [*c]u8 = &"".*;
    try testing.expectEqual(0, c.count_bytes(cstr));
}

这也给出了一个错误:

./src/main.zig:16:27: error: expected type '[*c]u8', found '*const [0:0]u8'
    var cstr: [*c]u8 = &"".*;
                          ^
./src/main.zig:16:27: note: cast discards const qualifier
    var cstr: [*c]u8 = &"".*;
                          ^

我该怎么做？

编辑:

我收到的建议不适用于 Zig 0.9，这是我撰写本文时最新的稳定版本。

如果您认为自己知道解决方案，请先尝试一下...将 C 文件放在 src-c/add.c，将 Zig 文件放在 src/main。之字,然后运行这个试试:

zig test src/main.zig -I src-c 

Answer 1

error: expected type 'comptime_int', found 'c_int'

很难看出，因为 zig 目前如何打印错误位置，但这个错误实际上是针对 expectEqual 的第二个参数，而不是 count_bytes 的参数错误

./src/main.zig:17:45: error: expected type 'comptime_int', found 'c_int'
    try testing.expectEqual(0, c.count_bytes(&cstr));
                                            ^

Would be slightly clearer if it was like this:
./src/main.zig:17:45: error: expected type 'comptime_int', found 'c_int'
    try testing.expectEqual(0, c.count_bytes(&cstr));
                               ~~~~~~~~~~~~~~~~~~~~

箭头指向(，意味着它打算覆盖整个调用表达式

此错误是由于 std.testing.expectEqual 推断参数类型的方式所致。

expectEqual定义为 fn expectEqual(a: anytype, b: @TypeOf(a)) void。这意味着 b 的类型必须与 a 的类型相同，并且不会尝试对等类型解析。

在这种情况下，a 的类型是 comptime_int，因为它是 zig 中整数文字的默认类型，然后当第二个参数是运行时时出错无法转换为 comptime_int

的整数

要解决这个问题，您通常需要在使用 expectEqual 时显式转换

try testing.expectEqual(@as(c_int, 0), c.count_bytes(""));

问题 #4437提出了一种可能的解决方案来解决这个问题，但尚未进行任何更改。

error: expected type '[*c]u8', found '*const [0:0]u8'

我无法使用您提供的代码复制此错误 - 是否可能是头文件错误地将 count_bytes 定义为 int count_bytes(char *str) 而不是int count_bytes(const char *str)?