AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 79284412
Accepted
tk-noodle
tk-noodle
Asked: 2024-12-16 18:55:24 +0800 CST2024-12-16 18:55:24 +0800 CST 2024-12-16 18:55:24 +0800 CST

如何确定 Zig 中的 Reader 和 Writer 实例的类型?

  • 772

我正在尝试生成一个结构,该结构包含对 stdin/stdout/stderr 的每个读者和写者的引用

然而,我却无法声明适当的类型。我最简单的代码是:

const std = @import("std");

const IoTrio = struct {
    in: std.io.GenericReader,
    out: std.io.GenericWriter,
    err: std.io.GenericWriter,
};

pub fn giveIo() !IoTrio {
    const stdout = std.io.getStdOut().writer();

    var stdin_bo = std.io.bufferedReader(std.io.getStdIn().reader());
    const stdin = stdin_bo.reader();

    const stderr = std.debug;

    @compileLog(@TypeOf(stdin ));
    @compileLog(@TypeOf(stdout));
    @compileLog(@TypeOf(stderr));

    return IoTrio{
        .in = stdin,
        .out = stdout,
        .err = std.debug,
    };
}

pub fn main() !void {
    _ = giveIo();
}

该结构编译失败:

Produces error:
types.zig:5:15: error: expected type 'type', found 'fn (comptime type, comptime type, comptime anytype) type'
    in: std.io.GenericReader,
         ~~~~~~^~~~~~~~~~~~~~

我看了这个答案,但不幸的是,它并没有真正的帮助——正如答案的作者所指出的那样,输出是复杂的,不容易理解——讨论到此结束。

事实上,输出结果相当令人困惑:

@as(type, io.GenericReader(*io.buffered_reader.BufferedReader(4096,io.GenericReader(fs.File,error{AccessDenied,Unexpected,InputOutput,BrokenPipe,SystemResources,OperationAborted,WouldBlock,ConnectionResetByPeer,IsDir,ConnectionTimedOut,NotOpenForReading,SocketNotConnected},(function 'read'))),error{AccessDenied,Unexpected,InputOutput,BrokenPipe,SystemResources,OperationAborted,WouldBlock,ConnectionResetByPeer,IsDir,ConnectionTimedOut,NotOpenForReading,SocketNotConnected},(function 'read')))

@as(type, io.GenericWriter(fs.File,error{AccessDenied,Unexpected,DiskQuota,FileTooBig,InputOutput,NoSpaceLeft,DeviceBusy,InvalidArgument,BrokenPipe,SystemResources,OperationAborted,NotOpenForWriting,LockViolation,WouldBlock,ConnectionResetByPeer},(function 'write')))

@as(type, type)

这似乎暗示每个都是一个函数?但我无法将这些值插入到我的结构声明中,也不明白这是什么意思,让我猜测一些更合理的内容。

我如何读取这些输出来得出我的结构所需的类型符号?

types
  • 1 1 个回答
  • 29 Views

1 个回答

  • Voted
  1. Best Answer
    prokop
    2024-12-16T21:54:13+08:002024-12-16T21:54:13+08:00

    将读者和作者存储在结构中很困难。

    第一个问题是该函数的GenericWriter名称不太恰当。该函数通过写入函数和写入函数实现的一些上下文来构建通用写入器。

    请注意,即使您的代码已编译,您仍会遇到释放后使用问题。缓冲读取器会在堆栈上创建一个缓冲区,但此堆栈会在函数退出时失效,从而使您拥有来自无效内存的读取器。

    那么这个缓冲区应该放在哪里呢?它不能在你的结构体中,因为所有通用读取器都必须有足够的空间来存储程序中使用的最大缓冲区。它也不能存在于堆上,因为 Zig 不会隐式分配。你还必须释放它,但你没有这样做。

    如果您不想依赖特定的读取器/写入器实现,则可以很容易地在主函数中创建所需的所有读取器和写入器,然后将它们作为“writer:anytype”参数传递给其他函数,而不是像在这里一样传递它们。

    如果你确实需要将它们存储在结构体中,那么可以使用AnyWriter和AnyReader。但正确使用这些很难,因为你必须自己管理它们的状态。以下是你可以这样做的示例:

    const std = @import("std");
    
    const IoTrio = struct {
        in: std.io.AnyReader,
        out: std.io.AnyWriter,
        err: std.io.AnyWriter,
    
        // here you store the implementation-specific data
        state: union(enum) {
            std: struct {
                // for example, the buffered stdin reader looks like this
                stdin_buffer: *std.io.BufferedReader(4096, std.fs.File.Reader),
            },
            something_else: struct {
                // something
            },
        },
    
        fn fromSomethingElse() IoTrio {
            return .{};
        }
    
        fn fromStd(a: std.mem.Allocator) !IoTrio {
            // stdout and stderr are easy, they don't need to be cleaned up
            const stdout = std.io.getStdOut().writer();
            const stderr = std.io.getStdErr().writer();
    
            // buffered stdin is harder. You have to rememeber that you allocated
            // the buffer and later free the buffer.
            const buffer_impl = std.io.bufferedReader(std.io.getStdIn().reader());
            const buffer_impl_on_heap = try a.create(@TypeOf(buffer_impl));
            buffer_impl_on_heap.* = buffer_impl;
    
            const stdin = buffer_impl_on_heap.reader();
    
            return IoTrio{
                .in = stdin.any(),
                .out = stdout.any(),
                .err = stderr.any(),
                .state = .{ .std = .{ .stdin_buffer = buffer_impl_on_heap } },
            };
        }
    
        fn deinit(self: *const IoTrio, a: std.mem.Allocator) void {
            switch (self.state) {
                .std => |s| {
                    a.destroy(s.stdin_buffer);
                },
                .something_else => {
                    // something
                },
            }
        }
    };
    
    pub fn main() !void {
        const a = std.heap.page_allocator; // slideware, get a better allocator!
    
        const io = try IoTrio.fromStd(a);
        defer io.deinit(a);
    
        try io.out.print("Hello {s}!", .{"world"});
    }
    

    此代码创建读取器和写入器,在堆上分配它们的状态,并在调用 deinit 时清理它们。如果您在堆栈上创建它们并将其生命周期绑定到某个本地范围,则所有这些都会自动发生:

    const std = @import("std");
    
    pub fn main() !void {
        const out = std.io.getStdOut().writer();
        const err = std.io.getStdErr().writer();
    
        var in_impl = std.io.bufferedReader(std.io.getStdIn().reader());
        const in = in_impl.reader();
    
        try takeIo(in, out, err);
    }
    
    fn takeIo(in: anytype, out: anytype, err: anytype) !void {
        _ = in;
        _ = err;
        try out.print("Hello {s}!\n", .{"world"});
    }
    
    • 0

相关问题

  • 应用函子时是什么导致这种类型不匹配?

  • 删除 F# 中两个离散类型完全相同的重复代码

  • 为什么无法匹配私有元组?

  • 使用一流模块进行子类型强制

  • 我什么时候应该在 Julia 中对变量、参数和返回类型使用类型注释?

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行?

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    何时应使用 std::inplace_vector 而不是 std::vector?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Martin Hope
    Aleksandr Dubinsky 为什么 InetAddress 上的 switch 模式匹配会失败,并出现“未涵盖所有可能的输入值”? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge 为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini 具有指定基础类型但没有枚举器的“枚举类”的用途是什么? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer 何时应使用 std::inplace_vector 而不是 std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB 为什么 GCC 生成有条件执行 SIMD 实现的代码? 2024-02-17 06:17:14 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve