Trait

本文介绍了 PHP 中 Traits 的概念及其使用方式。Traits 提供了一种灵活的代码复用机制,允许在多个类间共享方法,而不必依赖于继承。文章详细解释了如何在类中使用 Traits,并展示了如何解决冲突及修改访问级别。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

Trait

trait看上去更像是为了代码的复用而写的一个小插件,它类似于include
可以用use放在类中间,让trait里面定义的方法作为class的一部分
本身不能直接实例化
作用域
Trait的作用域在引用该Trait类的内部是都可见的(publicprivate 等等都可以)
可以理解为use关键字将Trait的实现代码Copy了一份到引用该Trait的类中
Trait中属性的优先级
01、来自当前类的成员覆盖了 trait 的方法
02trait 覆盖了被继承的方法
类成员优先级为:当前类>Trait>父类
03trait 中不能使用const 
04trait 中定义了属性,使用插件的类不能存在相同的属性,不能会报错


<?php
    class Question
    {
        public function publicF()
        {
            echo __METHOD__ . ' public function' . PHP_EOL;
        }
        protected function protectF()
        {
            echo __METHOD__ . ' protected function' . PHP_EOL;
        }
    }

    trait Log
    {
        public function startLog()
        {
            echo __METHOD__ . ' public function' . PHP_EOL;
        }
        protected function endLog()
        {
            echo __METHOD__ . ' protected function' . PHP_EOL;
        }
    }

    trait Check
    {
        public function parameterCheck($parameters) {
            echo __METHOD__ . ' = '.$parameters . PHP_EOL;
        }
    }

    class Publish extends Question
    {
        use Log,Check;
        public function doPublish($para) {
            $this->startLog();
            $this->parameterCheck($para);
            $this->endLog();
        }
    }

    $publish = new Publish();
    $publish->doPublish("xiaoliu");

结果

    Log::startLog public function
    Check::parameterCheck = xiaoliu
    Log::endLog protected function

Insteadof和As别名、as修改访问控制
通过逗号相隔引入多个Trait


insteadof关键字用前者取代了后者,解决引入多个Trait
as 关键字给被取代的方法起了一个别名。
as 还可以修改方法的访问控制


01insteadofas
<?php
    trait Log
    {
        private function parameterCheck($parameters)
        {
            echo __METHOD__ . ' parameter check' . $parameters . PHP_EOL;
        }

        private function startLog()
        {
            echo __METHOD__ . ' public function' . PHP_EOL;
        }
    }

    trait Check
    {
        private function parameterCheck($parameters)
        {
            echo __METHOD__ . ' parameter check' . $parameters . PHP_EOL;
        }

        private function startLog()
        {
            echo __METHOD__ . ' public function' . PHP_EOL;
        }
    }

    class Publish
    {
        use Check, Log {
            Check::parameterCheck insteadof Log; 
            // 使用Check parameterCheck方法覆盖Log

            Log::startLog insteadof Check;
            // 使用Log startLog方法覆盖 Check

            Check::startLog as csl;
            // as 关键字给被取代的方法起了一个别名
        }

        public function doPublish()
        {
            $this->startLog();
            $this->parameterCheck('params');
            $this->csl();
        }
    }

    $publish = new Publish();
    $publish->doPublish();

结果

    Log::startLog public function
    Check::parameterCheck parameter checkparams
    Check::startLog public function

02、修改访问权限
<?php
    trait Animal{
        public function eat(){
            echo "This is Animal eat";
        }
    }

    class Dog{
        use Animal{
            eat as protected;
        }
    }
    class Cat{
        use Animal{
            Animal::eat as private eaten;
        }
    }
    $dog = new Dog();
    $dog->eat();//报错,因为已经把eat改成了保护

    $cat = new Cat();
    $cat->eat();//正常运行,不会修改原先的访问控制
    $cat->eaten();//报错,已经改成了私有的访问控制
?>

tips
在引用Trait时,使用了use关键字,use关键字也用来引用命名空间
两者的区别在于,引用Trait时是在class内部使用的
trait 不能实现接口
Trait也可以互相组合,还可以使用抽象方法,静态属性,静态方法等
<?php
    trait Cat{
        public function eat(){
            echo "This is Cat eat";
        }
    }

    trait Dog{
        use Cat;
        public function drive(){
            echo "This is Dog drive";
        }
        abstract public function getName();

        public function test(){
            static $num=0;
            $num++;
            echo $num;
        }

        public static function say(){
            echo "This is Dog say";
        }
    }
    class animal{
        use Dog;
        public function getName(){
            echo "This is animal name";
        }
    }

    $animal = new animal();
    $animal->getName();
    echo "<br/>";
    $animal->eat();
    echo "<br/>";
    $animal->drive();
    echo "<br/>";
    $animal::say();
    echo "<br/>";
    $animal->test();
    echo "<br/>";
    $animal->test();
?>


结果
    This is animal name
    This is Cat eat
    This is Dog drive
    This is Dog say
    1
    2
### 泛型 Trait 的概念 在 Rust 中,Trait 定义了一组通用行为的集合。通过泛型和 Trait 结合使用,可以在编写代码时提供更大的灵活性和更强的功能扩展能力。具体来说,Trait 提供了一个接口定义的方式,而泛型则允许我们在不指定具体类型的条件下编写可重用的代码。 当需要对泛型类型施加某些特定的行为约束时,可以通过 `where` 子句或者直接在函数签名中引入 Trait Bound 来完成这一目标[^1]。 --- ### 泛型 Trait 的基本语法 #### 1. **Trait Bound** Trait Bound 是指在一个泛型上附加一个或多个 Trait 约束,从而限定该泛型的具体实现范围。以下是两种常见的写法: - **直接在参数列表中声明** ```rust fn some_function<T: SomeTrait>(item: T) { item.some_method(); // 假设 SomeTrait 定义了 some_method 方法 } ``` - **使用 where 子句** ```rust fn another_function<T>(item: T) where T: SomeTrait, { item.some_method(); } ``` 这两种方式功能相同,区别在于复杂场景下 `where` 子句更易读,尤其是涉及多重约束时。 --- ### 示例:寻找最大值的函数 下面是一个具体的例子,展示如何利用泛型和 Trait 实现一个能够处理任意实现了 `PartialOrd` 和 `Copy` 特性的数据类型的函数[^2]。 ```rust /// 寻找切片中的最大值 fn largest<T>(list: &[T]) -> Option<&T> where T: PartialOrd, // 需要比较大小的能力 { list.iter().max() } fn main() { let numbers = vec![34, 78, 19, 56]; match largest(&numbers) { Some(max_value) => println!("The largest number is {}", max_value), None => println!("No maximum value found"), } } ``` 上述代码展示了如何通过对泛型类型 `T` 添加 `PartialOrd` 约束来确保其具备比较运算符的支持。 --- ### 迭代器与泛型 Trait 另一个常见应用场景是在迭代器中使用泛型和 Trait。例如,在计算一组数值之和的过程中,我们可以要求输入的迭代器项既支持求和操作又满足拷贝语义[^4]。 ```rust use std::iter::Sum; /// 计算所有元素的总和 fn sum_elements<I, T>(iter: I) -> T where I: Iterator<Item = T>, // 输入必须是实现了 Iterator 的对象 T: Sum + Copy, // 类型 T 必须支持求和以及复制 { iter.sum() } fn main() { let nums = vec![1, 2, 3, 4, 5]; let total_sum = sum_elements(nums.into_iter()); println!("Total sum of elements: {}", total_sum); } ``` 此示例说明了如何结合 `Iterator` 和 `Sum` Trait 构建灵活的工具函数。 --- ### 显式调试需求下的泛型约束 有时为了打印日志或其他目的,可能还需要显式地为某个泛型添加额外的特性约束。比如,如果希望能够在控制台输出数组的内容,则需保证其中存储的每一项都实现了 `Debug` 特性[^5]。 ```rust use std::fmt::Debug; fn debug_array<T>(arr: &[T]) where T: Debug, // 确保可以格式化输出 { println!("{:?}", arr); // 打印整个数组 } fn main() { let my_arr = [1, 2, 3, 4]; debug_array(&my_arr); } ``` 这里借助于 `Debug` 特性使得即使面对未知类型也能安全调用 `{:?}` 占位符进行显示。 --- ### 自定义 Trait 示例 除了标准库提供的 Traits 外,还可以自定义自己的 Traits 并将其应用于各种上下文中[^3]。 ```rust // 定义一个新的 Trait trait Logger { fn log(&self) -> String; } // 对 i32 类型实现 Logger Trait impl Logger for i32 { fn log(&self) -> String { format!("Logging integer: {}", self) } } fn process_logs<L>(logger: L) where L: Logger, // 参数 logger 必须实现了 Logger Trait { println!("{}", logger.log()); } fn main() { let num = 42; process_logs(num); } ``` 这段程序创建了一个名为 `Logger` 的新特质并对其进行了简单应用。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值