Undefined constants will be reported in the Trait

[huye]

a.php:

<?php

include __DIR__ . '/t.php';

class A{
    const C = 123;

    use T;

    public function say(){
        echo $this->xxx();
    }
}

$a = new A;
$a->say();

t.php:

<?php

Trait T{

    public function xxx(){
        return self::C;
    }
}

Intelephense will report that the self:: C constant on line 6 is undefined.

[tianyiw2013]

Your programming thought have a problem. The trait that does not have a constant c, an error is reasonable.

Use the following code to bypass the static analysis of Intelephense.

trait T
{

    public function xxx()
    {
        if (!defined(static::class.'::C')) {
            throw new \Exception('Please make sure the current object exists C constants');
        }
        return constant(static::class.'::C');
    }
}

[bmewburn]

I'll look into turning this off inside traits considering traits cannot have constants

[huye]

That's right, but because of the characteristics of PHP, we will inevitably use this situation.

[realjjaveweb]

I'll look into turning this off inside traits considering traits cannot have constants

Just to set the record straight: this is not entirely true - traits can have both properties and constants, problem is, they have to either NOT be defined on the classes using them (X)OR the classes using them must define them with the same values (which is obviously useless if the constant should differ between using classes).

So thank you for looking into this - but please look into both:

self::SOME_CONSTANT
self::$STATIC_PROPERTY

[Kwaadpepper]

Any news on this ?

[nd4c]

Prior to PHP 8.2 traits cannot have constants.

https://www.php.net/manual/en/language.oop5.traits.php#language.oop5.traits.constants

Also, even though PHP 8.2 allows constants, it is still very likely that the main class will have the constants that are shared by the trait. So this will still be a relevant issue.

And though in PHP 8.2 you could "copy" shared constants into the trait this goes against the DRY principle. It's not yet possible to have abstract constants.

So for earliet versions and typical usage even in later versions:

<?php
namespace app\validnamespace;

class SomeUsefulClass
{
   use SomeUsefulTrait;

   public const NOTFOUND = 'Not found';

   ...
}

<?php
namespace app\validnamespace;

trait SomeUsefulTrait
{
    public function someUsefulMethod(): string
    {
        // this will _not_ pass intelephense
        $var = static::NOTFOUND;

        // this will _not_ pass intelephense
        $var = self::NOTFOUND;

        // this _will_ pass intelephense
        // however, this is not practical since traits can be used in different classes
        $var = SomeUsefulClass::NOTFOUND;
        return $var;
    }
}

[Sotiris-k]

Sorry for bringing this up again after a whole year but I wonder if anyone has found a solution to this?

Does PHP8.3 provide a better way so intelephense does not show this error?

[niriter]

Sorry for bringing this up again after a whole year but I wonder if anyone has found a solution to this?

Does PHP8.3 provide a better way so intelephense does not show this error?

In another similar problem they gave the answer, you need to use /** @disregard P1012 */

[ww9]

Unfortunately /** @disregard P1012 */ is not working for me:

I tried reindexing the workspace and restarting VSCode to no avail.

Extension Info (I have key activated):

Name: PHP Intelephense
Id: bmewburn.vscode-intelephense-client
Description: PHP code intelligence for Visual Studio Code
Version: 1.10.4
Publisher: Ben Mewburn
VS Marketplace Link: https://marketplace.visualstudio.com/items?itemName=bmewburn.vscode-intelephense-client

Windows machine:

Version: 1.92.0 (user setup)
Commit: b1c0a14de1414fcdaa400695b4db1c0799bc3124
Date: 2024-07-31T23:26:45.634Z
Electron: 30.1.2
ElectronBuildId: 9870757
Chromium: 124.0.6367.243
Node.js: 20.14.0
V8: 12.4.254.20-electron.0
OS: Windows_NT x64 10.0.22631

[ww9]

I also updated Intelephense to latest pre-release v1.11.8 and /** @disregard P1012 */ is not working for me.