php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #80126 Covariant return types failing compilation
Submitted: 2020-09-21 01:42 UTC Modified: 2020-10-06 14:21 UTC
Votes:1
Avg. Score:5.0 ± 0.0
Reproduced:0 of 0 (0.0%)
From: terence-marks at zencontrol dot com Assigned: nikic (profile)
Status: Closed Package: Compile Failure
PHP Version: 7.4.10 OS: Debian Buster
Private report: No CVE-ID: None
 [2020-09-21 01:42 UTC] terence-marks at zencontrol dot com
Description:
------------
Discovered an issue with narrowing return type using covariance.

I have a chain of inheritance (...ignore implementation details) from which at the lowest level I attempt to narrow the return type for an inherited method. When running the code PHP fails at compilation stating the method is not compatible.

Now the weird part is it seems the covariance check passes if I remove all interfaces from the lowest level (see example).

The attached test script should point you guys in the right direction.

Cheers,
Terence

Test script:
---------------
<?php

interface Poo
{
    public function poo(): Poo;
}

abstract class AbstractPoo implements Poo
{
    public function poo(): Poo
    {
        return new static();
    }
}

class ConcretePoo extends AbstractPoo
{
    
}

interface B
{
    
}

// Fails if interface is present
class ExtendedConcretePoo extends ConcretePoo implements B
{
    public function poo(): ExtendedConcretePoo
    {
        return new static();
    }
}

// Does not fail if no interfaces present
//class ExtendedConcretePoo extends ConcretePoo
//{
//    public function poo(): ExtendedConcretePoo
//    {
//        return new static();
//    }
//}

$e = new ExtendedConcretePoo();
$r = $e->poo();

Expected result:
----------------
No compilation errors.

Actual result:
--------------
Declaration of ExtendedConcretePoo::poo(): ExtendedConcretePoo must be compatible with AbstractPoo::poo()

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2020-09-21 12:32 UTC] danack@php.net
I don't think the extra interface is necessary to show the bug. This seems to fail also..

interface inty {
    public function intmethod(): inty;
}

abstract class AbstractClass implements inty {
    public function intmethod(): inty
    {
        return new static();
    }
}

class Concrete extends AbstractClass { }

class ExtendedConcrete extends Concrete {
    // fails
    public function intmethod(): ExtendedConcrete {
        return new static();
    }

    // Works
//    public function intmethod(): Concrete {
//        return new static();
//    }
}
 [2020-10-06 14:21 UTC] nikic@php.net
-Status: Open +Status: Assigned -Assigned To: +Assigned To: nikic
 [2020-10-06 14:21 UTC] nikic@php.net
@danack's example is a PHP 8 regressions, likely caused by a change in interface inheritance order.
 [2020-10-06 14:34 UTC] nikic@php.net
Automatic comment on behalf of nikita.ppv@gmail.com
Revision: http://git.php.net/?p=php-src.git;a=commit;h=3b7c8bb973cb4b37ae5f034651d9e4cd4147729f
Log: Fix bug #80126
 [2020-10-06 14:34 UTC] nikic@php.net
-Status: Assigned +Status: Closed
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Thu Mar 28 08:01:28 2024 UTC