1 | <?php |
||
2 | |||
3 | declare(strict_types=1); |
||
4 | |||
5 | namespace Yiisoft\Definitions; |
||
6 | |||
7 | use Psr\Container\ContainerInterface; |
||
8 | use ReflectionNamedType; |
||
9 | use ReflectionUnionType; |
||
10 | use RuntimeException; |
||
11 | use Throwable; |
||
12 | use Yiisoft\Definitions\Exception\CircularReferenceException; |
||
13 | use Yiisoft\Definitions\Helpers\DefinitionExtractor; |
||
14 | |||
15 | /** |
||
16 | * Stores service definitions and checks if a definition could be instantiated. |
||
17 | */ |
||
18 | final class DefinitionStorage |
||
19 | { |
||
20 | /** |
||
21 | * @var array<string,1> |
||
0 ignored issues
–
show
Documentation
Bug
introduced
by
![]() |
|||
22 | */ |
||
23 | private array $buildStack = []; |
||
24 | |||
25 | private ?ContainerInterface $delegateContainer = null; |
||
26 | |||
27 | /** |
||
28 | * @param array $definitions Definitions to store. |
||
29 | * @param bool $useStrictMode If every dependency should be defined explicitly including classes. |
||
30 | */ |
||
31 | 25 | public function __construct( |
|
32 | private array $definitions = [], |
||
33 | private bool $useStrictMode = false |
||
34 | ) { |
||
35 | 25 | } |
|
36 | |||
37 | /** |
||
38 | * @param ContainerInterface $delegateContainer Container to fall back to when dependency is not found. |
||
39 | */ |
||
40 | 5 | public function setDelegateContainer(ContainerInterface $delegateContainer): void |
|
41 | { |
||
42 | 5 | $this->delegateContainer = $delegateContainer; |
|
43 | } |
||
44 | |||
45 | /** |
||
46 | * Checks if there is a definition with ID specified and that it can be created. |
||
47 | * |
||
48 | * @param string $id class name, interface name or alias name |
||
49 | * |
||
50 | * @throws CircularReferenceException |
||
51 | */ |
||
52 | 25 | public function has(string $id): bool |
|
53 | { |
||
54 | 25 | $this->buildStack = []; |
|
55 | 25 | return $this->isResolvable($id, []); |
|
56 | } |
||
57 | |||
58 | /** |
||
59 | * Returns a stack with definition IDs in the order the latest dependency obtained would be built. |
||
60 | * |
||
61 | * @return string[] Build stack. |
||
62 | */ |
||
63 | 11 | public function getBuildStack(): array |
|
64 | { |
||
65 | 11 | return array_keys($this->buildStack); |
|
66 | } |
||
67 | |||
68 | /** |
||
69 | * Get a definition with a given ID. |
||
70 | * |
||
71 | * @throws CircularReferenceException |
||
72 | * |
||
73 | * @return mixed|object Definition with a given ID. |
||
74 | */ |
||
75 | 10 | public function get(string $id): mixed |
|
76 | { |
||
77 | 10 | if (!$this->has($id)) { |
|
78 | 2 | throw new RuntimeException("Service $id doesn't exist in DefinitionStorage."); |
|
79 | } |
||
80 | 5 | return $this->definitions[$id]; |
|
81 | } |
||
82 | |||
83 | /** |
||
84 | * Set a definition. |
||
85 | * |
||
86 | * @param string $id ID to set definition for. |
||
87 | * @param mixed $definition Definition to set. |
||
88 | */ |
||
89 | 1 | public function set(string $id, mixed $definition): void |
|
90 | { |
||
91 | 1 | $this->definitions[$id] = $definition; |
|
92 | } |
||
93 | |||
94 | /** |
||
95 | * @param array<string,1> $building |
||
0 ignored issues
–
show
|
|||
96 | * |
||
97 | * @throws CircularReferenceException |
||
98 | */ |
||
99 | 25 | private function isResolvable(string $id, array $building): bool |
|
100 | { |
||
101 | 25 | if (isset($this->definitions[$id])) { |
|
102 | 4 | return true; |
|
103 | } |
||
104 | |||
105 | 23 | if ($this->useStrictMode || !class_exists($id)) { |
|
106 | 13 | $this->buildStack += $building + [$id => 1]; |
|
107 | 13 | return false; |
|
108 | } |
||
109 | |||
110 | 20 | if (isset($building[$id])) { |
|
111 | 2 | throw new CircularReferenceException(sprintf( |
|
112 | 2 | 'Circular reference to "%s" detected while building: %s.', |
|
113 | 2 | $id, |
|
114 | 2 | implode(', ', array_keys($building)) |
|
115 | 2 | )); |
|
116 | } |
||
117 | |||
118 | try { |
||
119 | 20 | $dependencies = DefinitionExtractor::fromClassName($id); |
|
120 | 3 | } catch (Throwable) { |
|
121 | 3 | $this->buildStack += $building + [$id => 1]; |
|
122 | 3 | return false; |
|
123 | } |
||
124 | |||
125 | 19 | if ($dependencies === []) { |
|
126 | 1 | $this->definitions[$id] = $id; |
|
127 | 1 | return true; |
|
128 | } |
||
129 | |||
130 | 18 | $isResolvable = true; |
|
131 | 18 | $building[$id] = 1; |
|
132 | |||
133 | try { |
||
134 | 18 | foreach ($dependencies as $dependency) { |
|
135 | 18 | $parameter = $dependency->getReflection(); |
|
136 | 18 | $type = $parameter->getType(); |
|
137 | |||
138 | 18 | if ($parameter->isVariadic() || $parameter->isOptional()) { |
|
139 | /** @infection-ignore-all Mutation don't change behaviour, but degrade performance. */ |
||
140 | 3 | break; |
|
141 | } |
||
142 | |||
143 | if ( |
||
144 | 17 | ($type instanceof ReflectionNamedType && $type->isBuiltin()) |
|
145 | 17 | || (!$type instanceof ReflectionNamedType && !$type instanceof ReflectionUnionType) |
|
146 | ) { |
||
147 | 2 | $isResolvable = false; |
|
148 | 2 | break; |
|
149 | } |
||
150 | |||
151 | /** @var ReflectionNamedType|ReflectionUnionType $type */ |
||
152 | |||
153 | // Union type is used as type hint |
||
154 | 15 | if ($type instanceof ReflectionUnionType) { |
|
155 | 7 | $isUnionTypeResolvable = false; |
|
156 | 7 | $unionTypes = []; |
|
157 | 7 | foreach ($type->getTypes() as $unionType) { |
|
158 | /** |
||
159 | * @psalm-suppress DocblockTypeContradiction Need for PHP 8.0 and 8.1 only |
||
160 | */ |
||
161 | 7 | if (!$unionType instanceof ReflectionNamedType || $unionType->isBuiltin()) { |
|
162 | 1 | continue; |
|
163 | } |
||
164 | |||
165 | 7 | $typeName = $unionType->getName(); |
|
166 | /** |
||
167 | * @psalm-suppress TypeDoesNotContainType |
||
168 | * |
||
169 | * @link https://github.com/vimeo/psalm/issues/6756 |
||
170 | */ |
||
171 | 7 | if ($typeName === 'self') { |
|
172 | 2 | continue; |
|
173 | } |
||
174 | 7 | $unionTypes[] = $typeName; |
|
175 | 7 | if ($this->isResolvable($typeName, $building)) { |
|
176 | 2 | $isUnionTypeResolvable = true; |
|
177 | /** @infection-ignore-all Mutation don't change behaviour, but degrade performance. */ |
||
178 | 2 | break; |
|
179 | } |
||
180 | } |
||
181 | |||
182 | 7 | if (!$isUnionTypeResolvable) { |
|
183 | 5 | foreach ($unionTypes as $typeName) { |
|
184 | 5 | if ($this->delegateContainer !== null && $this->delegateContainer->has($typeName)) { |
|
185 | 1 | $isUnionTypeResolvable = true; |
|
186 | /** @infection-ignore-all Mutation don't change behaviour, but degrade performance. */ |
||
187 | 1 | break; |
|
188 | } |
||
189 | } |
||
190 | |||
191 | 5 | $isResolvable = $isUnionTypeResolvable; |
|
192 | 5 | if (!$isResolvable) { |
|
193 | 4 | break; |
|
194 | } |
||
195 | } |
||
196 | 3 | continue; |
|
197 | } |
||
198 | |||
199 | // Our parameter has a class type hint |
||
200 | 10 | if (!$type->isBuiltin()) { |
|
201 | 10 | $typeName = $type->getName(); |
|
202 | /** |
||
203 | * @psalm-suppress TypeDoesNotContainType |
||
204 | * |
||
205 | * @link https://github.com/vimeo/psalm/issues/6756 |
||
206 | */ |
||
207 | 10 | if ($typeName === 'self') { |
|
208 | 1 | throw new CircularReferenceException( |
|
209 | 1 | sprintf( |
|
210 | 1 | 'Circular reference to "%s" detected while building: %s.', |
|
211 | 1 | $id, |
|
212 | 1 | implode(', ', array_keys($building)) |
|
213 | 1 | ) |
|
214 | 1 | ); |
|
215 | } |
||
216 | |||
217 | if ( |
||
218 | 9 | !$this->isResolvable($typeName, $building) |
|
219 | 7 | && ($this->delegateContainer === null || !$this->delegateContainer->has($typeName)) |
|
220 | ) { |
||
221 | 6 | $isResolvable = false; |
|
222 | 6 | break; |
|
223 | } |
||
224 | } |
||
225 | } |
||
226 | } finally { |
||
227 | 18 | $this->buildStack += $building; |
|
228 | } |
||
229 | |||
230 | 15 | if ($isResolvable) { |
|
231 | 4 | $this->definitions[$id] = $id; |
|
232 | } |
||
233 | |||
234 | 15 | return $isResolvable; |
|
235 | } |
||
236 | } |
||
237 |