Rust에서 Java의 try { ... } finally { ... }와 비슷하게 패닉에도 안전한 구조를 만들고, try와 finally 블록이 같은 값을 각각 가변으로 빌리게 하려면 어떻게 해야 하나요?
원하는 건 정상 실행이든 패닉 언와인딩이든 제어가 try 블록을 떠나는 순간 그 빌림이 끝나고, finally 블록에 실제로 도달했을 때만 그쪽 빌림이 시작되는 거예요.
scopeguard::defer!를 쓰면 try에 해당하는 블록보다 앞에서 클로저를 선언해야 해요. 그러면 클로저를 만드는 즉시 가변 빌림이 시작돼서, try에 해당하는 코드에서는 그 클로저가 이미 빌린 같은 값을 가변으로 빌릴 수 없어요.
What would be a way for me to write a panic-safe mecanism in Rust that behaves similarly to Java's try { ... } finally { ... }, where the try and finally blocks each mutably borrow the same value?
What I need is for a try block's borrows to finish as soon as control leaves it, whether by normal execution or panic unwinding, with the finally block borrowing only once control reaches it.
With scopeguard::defer!, the closure has to be declared before the equivalent try block, which starts the mutable borrow immediately upon creating that closure, which means the code corresponding to the try block cannot then take its own mutable borrow of the same thing already borrowed by that closure.
scopeguard::defer!를 쓰면 try에 해당하는 블록 앞에 클로저를 선언해야 해서 클로저를 만드는 즉시 가변 빌림이 시작돼요,
여기에는 defer!()가 맞지 않고, 대신 guard 함수로 값을 scopeguard::ScopeGuard 안에 넣으면 돼요.
ScopeGuard가 Deref와 DerefMut를 제공하므로 가드 안의 값에 접근하듯 가드를 사용하면 돼요.
struct Resource {}
// ownership of the resource goes into this destructor
// a closure normally serves this purpose
fn release_resource(resource: Resource) {
println!("dropping resource");
}
fn main() {
// obtain the resource, then give it a guard
let resource: Resource = acquire_resource();
let mut resource = guard(resource, release_resource);
// borrowing the resource mutably is another option
// let mut resource = guard(&mut resource, release_resource_by_mut);
// access the enclosed resource through its guard
resource.refresh();
inspect_resource(&resource);
change_resource(&mut resource);
// leaving this scope runs the destructor
// or disable the guard to recover the resource
// without invoking its destructor
// let resource = ScopeGuard::into_inner(resource);
}With scopeguard::defer!, the closure has to be declared before the equivalent try block, which starts the mutable borrow immediately upon creating that closure,
defer!() isn't suitable here, but the guard function can place your value inside a scopeguard::ScopeGuard insted.
since ScopeGuard supplies Deref and DerefMut, accessing the guard works like accessing the value it holds.
struct Resource {}
// ownership of the resource goes into this destructor
// a closure normally serves this purpose
fn release_resource(resource: Resource) {
println!("dropping resource");
}
fn main() {
// obtain the resource, then give it a guard
let resource: Resource = acquire_resource();
let mut resource = guard(resource, release_resource);
// borrowing the resource mutably is another option
// let mut resource = guard(&mut resource, release_resource_by_mut);
// access the enclosed resource through its guard
resource.refresh();
inspect_resource(&resource);
change_resource(&mut resource);
// leaving this scope runs the destructor
// or disable the guard to recover the resource
// without invoking its destructor
// let resource = ScopeGuard::into_inner(resource);
}감사해요! 이 방법이면 될 것 같아요. scopeguard 문서에서는 유닛 값을 쓰는 예제보다 “값이 있는” 경우를 먼저 보여 주면 좋겠어요.
Thanks! That looks like it does the job. In the scopeguard documentation, I'd prefer seeing the case "with value" before the example that uses a unit value.
Nim 2는 복사냐 이동이냐를 호출 지점마다 정한다. proc 단위로 정하지 않는다. 같은 인자, 같은 proc. 첫 호출은 a가 아직 쓰이니 복사한다. 둘째 호출은 이동한다. 호출 지점에는 어느 쪽인지 아무 표시가 없다.…
키보드에서 char 배열들로 입력을 받으려고 하면 프로그램이 계속 죽습니다. 키보드에서 char 배열을 읽어서 저장하는 간단한 방법이 뭘까요?
사용자 입력을 처리하고 걸러 낸 뒤, 호출한 함수에 결과 문자열을 돌려주는 함수를 만들고 싶습니다. 아래 예처럼 전역 변수를 선언하지 않고도 가능할까요?
