【CXX】6.10 *mut T,*const T原始指针

通常情况下,你应该尽可能使用引用(&mut T, &T)或 std::unique_ptr 而不是原始指针,但原始指针也可以作为一种不安全的备选方案。

限制:

接受原始指针作为参数的 extern 函数和函数指针必须声明为 unsafe fn,即调用是不安全的。这不适用于仅返回原始指针的函数,尽管通常对返回的指针进行任何有用的操作都会在其他地方涉及不安全的代码。

示例

此示例展示了如何对涉及 char *argv[] 的典型 C 风格主函数签名进行 Rust 调用。

cpp 复制代码
// include/args.h
#pragma once
void parseArgs(int argc, char *argv[]);
cpp 复制代码
// src/args.cc
#include "example/include/args.h"
#include <iostream>

void parseArgs(int argc, char *argv[]) {
	std::cout << argc << std::endl;
	for (int i = 0; i < argc; i++) {
	std::cout << '"' << argv[i] << '"' << std::endl;
	}
}
rust 复制代码
// src/main.rs

use std::env;
use std::ffi::CString;
use std::os::raw::c_char;
use std::os::unix::ffi::OsStrExt;
use std::ptr;

#[cxx::bridge]
mod ffi {
extern "C++" {
include!("example/include/args.h");

复制
    unsafe fn parseArgs(argc: i32, argv: *mut *mut c_char);
}
}

fn main() {
// 将 OsString 转换为以 nul 结尾的 CString,如果存在内部 nul 字节,则在第一个 nul 字节处截断每个参数。
let args: Vec<CString> = env::args_os()
.map(|os_str| {
let bytes = os_str.as_bytes();
CString::new(bytes).unwrap_or_else(|nul_error| {
let nul_position = nul_error.nul_position();
let mut bytes = nul_error.into_vec();
bytes.truncate(nul_position);
CString::new(bytes).unwrap()
})
})
.collect();

// 将拥有的字符串的 Vec<CString> 转换为借用的字符串指针的 Vec<*mut c_char>。
//
// 一旦 extern 类型稳定(https://github.com/rust-lang/rust/issues/43467)
// 并且 https://internals.rust-lang.org/t/pre-rfc-make-cstr-a-thin-pointer/6258
// 被实现,并且 CStr 指针变为瘦指针,我们可以通过预先将参数累积为 Vec<Box<CStr>> 来绕过此步骤,
// 然后简单地从 *mut [Box<CStr>] 转换为 *mut [*mut CStr] 再到 *mut *mut c_char。
let argc = args.len();
let mut argv: Vec<*mut c_char> = Vec::with_capacity(argc + 1);
for arg in &args {
    argv.push(arg.as_ptr() as *mut c_char);
}
argv.push(ptr::null_mut()); // Nul 终止符。

unsafe {
    ffi::parseArgs(argc as i32, argv.as_mut_ptr());
}

// CStrings 在此处超出范围。C 函数不得在此点之后持有指针。
}
相关推荐
快乐的划水a6 小时前
组合模式及优化
c++·设计模式·组合模式
星星火柴9367 小时前
关于“双指针法“的总结
数据结构·c++·笔记·学习·算法
艾莉丝努力练剑8 小时前
【洛谷刷题】用C语言和C++做一些入门题,练习洛谷IDE模式:分支机构(一)
c语言·开发语言·数据结构·c++·学习·算法
寻月隐君9 小时前
硬核实战:从零到一,用 Rust 和 Axum 构建高性能聊天服务后端
后端·rust·github
阿巴~阿巴~10 小时前
深入解析C++ STL链表(List)模拟实现
开发语言·c++·链表·stl·list
旺小仔.11 小时前
双指针和codetop复习
数据结构·c++·算法
jingfeng51411 小时前
C++ STL-string类底层实现
前端·c++·算法
郝学胜-神的一滴12 小时前
基于C++的词法分析器:使用正则表达式的实现
开发语言·c++·程序人生·正则表达式·stl
努力努力再努力wz13 小时前
【c++深入系列】:万字详解模版(下)
java·c++·redis
m0_4805026414 小时前
Rust 入门 泛型和特征-特征对象 (十四)
开发语言·后端·rust