Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
ad025102
R
Rust
项目概览
int
/
Rust
大约 1 年 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
ad025102
编写于
10月 31, 2012
作者:
P
Patrick Walton
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
libcore: Implement a memory-safe "each_val" for data in aliasable, mutable locations
上级
0c2e6fda
变更
3
隐藏空白更改
内联
并排
Showing
3 changed file
with
39 addition
and
1 deletion
+39
-1
src/libcore/core.rs
src/libcore/core.rs
+1
-1
src/libcore/iter.rs
src/libcore/iter.rs
+7
-0
src/libcore/vec.rs
src/libcore/vec.rs
+31
-0
未找到文件。
src/libcore/core.rs
浏览文件 @
ad025102
...
...
@@ -17,7 +17,7 @@
pub
use
vec
::{
ImmutableEqVector
,
ImmutableCopyableVector
};
pub
use
vec
::{
MutableVector
,
MutableCopyableVector
};
pub
use
iter
::{
BaseIter
,
ExtendedIter
,
EqIter
,
CopyableIter
};
pub
use
iter
::{
CopyableOrderedIter
,
Times
};
pub
use
iter
::{
CopyableOrderedIter
,
CopyableNonstrictIter
,
Times
};
pub
use
num
::
Num
;
pub
use
ptr
::
Ptr
;
pub
use
to_str
::
ToStr
;
...
...
src/libcore/iter.rs
浏览文件 @
ad025102
...
...
@@ -46,6 +46,13 @@ pub trait CopyableOrderedIter<A:Copy Ord> {
pure
fn
max
()
->
A
;
}
pub
trait
CopyableNonstrictIter
<
A
:
Copy
>
{
// Like "each", but copies out the value. If the receiver is mutated while
// iterating over it, the semantics must not be memory-unsafe but are
// otherwise undefined.
pure
fn
each_val
(
&
const
self
,
f
:
&
fn
(
A
)
->
bool
);
}
// A trait for sequences that can be by imperatively pushing elements
// onto them.
pub
trait
Buildable
<
A
>
{
...
...
src/libcore/vec.rs
浏览文件 @
ad025102
...
...
@@ -2020,6 +2020,37 @@ impl<A: Copy Ord> &[A]: iter::CopyableOrderedIter<A> {
pure
fn
min
()
->
A
{
iter
::
min
(
&
self
)
}
pure
fn
max
()
->
A
{
iter
::
max
(
&
self
)
}
}
impl
<
A
:
Copy
>
&
[
A
]
:
iter
::
CopyableNonstrictIter
<
A
>
{
pure
fn
each_val
(
&
const
self
,
f
:
fn
(
A
)
->
bool
)
{
let
mut
i
=
0
;
while
i
<
self
.len
()
{
if
!
f
(
copy
self
[
i
])
{
break
;
}
i
+=
1
;
}
}
}
impl
<
A
:
Copy
>
~
[
A
]
:
iter
::
CopyableNonstrictIter
<
A
>
{
pure
fn
each_val
(
&
const
self
,
f
:
fn
(
A
)
->
bool
)
{
let
mut
i
=
0
;
while
i
<
self
.len
()
{
if
!
f
(
copy
self
[
i
])
{
break
;
}
i
+=
1
;
}
}
}
impl
<
A
:
Copy
>
@
[
A
]
:
iter
::
CopyableNonstrictIter
<
A
>
{
pure
fn
each_val
(
&
const
self
,
f
:
fn
(
A
)
->
bool
)
{
let
mut
i
=
0
;
while
i
<
self
.len
()
{
if
!
f
(
copy
self
[
i
])
{
break
;
}
i
+=
1
;
}
}
}
// ___________________________________________________________________________
#[cfg(test)]
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录