- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
像std::iterator_traits
这样的包罗万象的特征类通过将类型的属性与其定义分开是很有用的,例如,可以在定义完成之前使属性可用。
除了每个客户端类本身之外还定义特征是不方便的,因为特征通常也有作为成员的位置。这就是为什么 std::iterator_traits
的通用实现是根据其模板参数的成员定义的。
template< typename it >
struct iterator_traits {
typedef typename it::category category;
typedef typename it::value_type value_type;
// etc
};
使用继承不是更容易,编译器的工作也更少吗?
template< typename t >
struct t_traits : public t {
t_traits() = delete; // Prevent runtime instances.
};
这无法在主模板中记录接口(interface),但无论如何还有其他机会。
编写大量重复代码来定义一个元容器类似乎毫无意义,在一个甚至不能保证防止在运行时创建这样的滥用的习惯用法中。
或者这完全是倒退。除了std::iterator_traits
我们还有std::iterator
,一个具有大部分相同成员的伪抽象基类。这种冗余是一种代码味道。如果自定义迭代器看起来像这样不是更好吗?
template<>
struct iterator_traits< struct my_iterator > {
typedef random_access_iterator_tag category;
typedef foo value_type;
...
};
struct my_iterator : iterator_traits< struct my_iterator > {
...
};
(为了争论,让我们忽略一个事实,即必须在 std::iterator_traits
中声明一个实际的 namespace std
特化。我试图对用户代码中可能发生的事情做一个熟悉的说明。)
这更简洁,因为不需要违反惯用语来处理任何需要花哨步法的特殊情况。根本不需要任何主要特征模板,而不是主要特征模板产生内部错误,即缺少的客户端类不适合某些东西。
从概念上讲,最好将类的质量与其服务的实现分开,无论这种分离是否必要。但是,这种风格确实需要将每个客户端类分成两部分,包括一个显式的特化,这有点丑陋。
有人熟悉这个设计空间吗?我倾向于第二个成语,尽管它在实践中看起来很不寻常。但是以前来过这里的人可能知道其中的来龙去脉。
最佳答案
用户定义特征作为库类型的特化的问题在于库类型属于库。定义显式特化需要打开库命名空间,这很丑陋。
备选方案 1 和 2 可以组合成两全其美的模式
需要以基于 ADL 的元函数的形式将任何类映射到其特征。
template< typename t >
t traits_type_entry( t const & ); // Declared, never defined.
template< typename t >
using traits_type = decltype( traits_type_entry( std::declval< t >() ) );
默认情况下,T
作为自己的特征类型作为 traits_type< T >::type
是T
.为给定类型更改此 t
到特征类t_traits
, 声明(但不定义)一个函数 t_traits traits_type_entry( t const & )
.这t_traits
类可能是也可能不是 t
的基类; traits_type
设施不在乎。因为该函数将通过依赖于参数的查找找到,它可能被声明为一个友元函数,在命名空间范围内没有声明。
嵌套在一个类中的用法(只是为了制作一个困难的测试用例)看起来像这样。对于命名空间中的常规用法,只需删除 friend
关键字。
class outer_scope {
struct special;
struct special_traits {
typedef int value_type;
constexpr static int limit = 5;
};
friend special_traits traits_type_entry( special const & );
struct unspecial {
typedef double baz_type;
int table[ util::traits_type< special >::limit ];
};
struct special : special_traits {
void f() {
std::pair< typename util::traits_type< unspecial >::baz_type,
value_type >();
}
};
};
请注意,t const &
参数 traits_type_entry
可以简单地t
只要类是可复制和可破坏的。
此外,您可以通过让主模板返回派生自 t
的类型来阻止声明(非自定义)特征类型的对象。删除了它的构造函数,而不是 t
本身。
关于c++ - Inheriting (or member) traits 成语,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19851629/
我正在尝试在具有相同特征的盒装特征对象上实现特征。我以前对其方法采用的特征做过这样的事情&Self,它工作得很好,但不是Self。。我意识到在这个特定的例子中,我可以将fn get_*()函数更改为返
在编写带有特征的代码时,您可以将特征放在特征边界中: use std::fmt::Debug; fn myfunction1(v: Box) { println!("{:?}", v); }
我有一个特征正在使用另一个特征,现在我收到关于类中不存在的函数的错误。我简化了代码: 设置.php: getMessage());} } } ?> 数据库.php pdo=new PDO("m
这个问题在这里已经有了答案: Why doesn't Rust support trait object upcasting? (4 个回答) 2年前关闭。 如果我有 Box , 我可以返回 &dyn
给定这段代码: trait Trait {} struct Child; impl Trait for Child {} struct Father { child: &'a Box, } i
这个问题的标题与许多相关问题非常相似,但我还没有找到一个讨论这个特定问题的问题。 我有一个 Color非常简单定义的类型,如下所示: pub struct Color { red: u8,
我有三个特点。 Trait Param、GroupId 和 SessionId。特征 GroupId 和 SessionId 包括 Param。 类 GroupSession 包括特征 GroupId
查看 Traversable 和 TraversableLike 的 scaladoc,我很难弄清楚它们之间的区别是什么(除了一个扩展另一个)。文档中唯一明显的区别是它说 Traversable 是一
我有以下代码: trait T { type AT; fn foo(&self); } struct AbstractT { t: Box>, } impl T for Abs
如何在 Rust 中尝试类似以下的操作? builder 类是一个 trait 对象,它返回另一个 trait 对象(类型删除),其中选择的实现由我们正在使用的 builder trait 的特定对象
我想创建一个新向量,其中包含实现 Trait 的对象,来 self 已有的包含这些对象的一些向量。 trait Foo { // } struct Bar { i: i32, } st
到目前为止,在我的项目中,我使用了许多特征来允许在单元测试中模拟/ stub 以注入(inject)依赖项。然而,到目前为止我正在做的事情的一个细节似乎非常可疑,以至于我很惊讶它甚至可以编译。我担心正
假设我有一些特质: trait MyTrait { fn function1(&self); } 和一些实现它的类型: struct MyStruct { number: i32, }
更新:不止我一个人在思考这个问题,看来这确实是一个错误。参见 here .修复的那一天将是美好的一天! :) 这开始为 I love PHP traits! I'm going to use them
以下特征Parser[+T]是扩展接受 Input 的函数的特征并返回 Result[T] . trait Parser[+T] extends (Input => Result[T]) 那是对的吗
我有一个类型,我可以通过它访问它的方法 SomeTrait::::method() 但我不明白那和之间的区别 >::method() 在 C++ 中,我希望这样: SomeTrait::method(
在下面的代码中,不可能从对实现相同特征的动态大小类型的引用中获得对特征对象的引用。为什么会这样呢?如果我可以同时调用trait方法,那么&dyn Trait和&(?Sized + Trait)之间到底
我是 Rust 的新手,我想通过实现一些小项目来学习这门语言并更好地理解。我的第一次尝试是解析从 MQTT 代理收到的 JSON 数据。 我很高兴在 tornado 的帮助下轻松完成这项工作。和 se
在下面的代码中,不可能从对实现相同特征的动态大小类型的引用中获得对特征对象的引用。为什么会这样呢?如果我可以同时调用trait方法,那么&dyn Trait和&(?Sized + Trait)之间到底
这个问题在这里已经有了答案: Why is the `Sized` bound necessary in this trait? (2 个回答) 1年前关闭。 我有一个特质 Vertex我想要几个结构
我是一名优秀的程序员,十分优秀!