PHPでやってみよう！テストだけじゃない、デシジョンテーブル（決定表）実装の勘所

PHP PHP 2025 Jul 19, 2025. v0.0.6 @katzumi( ) Press Space for next page

katzumi LITALICO katzchum k2tzumi katzumi

• https://twitter.com/katzchum
• https://github.com/k2tzumi

SNS mm fortee #phpkansai #b

• https://fortee.jp/phpcon-kansai2025/proposal/44d7c3a3-1137-482a-9f44-33c0371dbfb9
• https://x.com/search?q=#phpkansai #b&f=live

if if, switch Enum

Condition Yes/No Action True/False

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1 2 3 4 5 6 7 8 9 Y Y Y Y N N N N N N N N N Y Y Y Y N N N N N N N N N Y 3 Y Y N N Y Y N N - 500 Y N Y N Y N Y N - X - - - - - - - - - X X - X - - - -

1.5K 3 1

=

https://www.mhlw.go.jp/content/12200000/001205331.pdf#page=2

• https://www.mhlw.go.jp/content/12200000/001205331.pdf#page=2

if switch

[1] [2] [3] 1. (Essential) 2. (Accidental) 3.

PHP

Enum Enum Enum : EmploymentStatus:: , EmploymentStatus:: Enum : AnnualIncome:: , AnnualIncome:: - , AnnualIncome::

Enum Enum ( [ EmploymentStatus:: , Tenure:: , AnnualIncome:: Enum 1 2 3 4 5 6 7 8 9 10 11 12 13 enum AnnualIncome { case ; case case ; ; public static function convert(int $value) : self { return match(true) { $value >= 500 => self:: , $value >= 300 => self:: , default => self:: }; 3 500 ] )

Enum Enum ( [ EmploymentStatus:: , Tenure:: , AnnualIncome:: Enum 1 2 3 4 5 6 7 8 9 10 11 12 13 enum AnnualIncome { case ; case case ; ; public static function convert(int $value) : self { return match(true) { $value >= 500 => self:: , $value >= 300 => self:: , default => self:: }; 3 500 ] )

Enum Enum ( [ EmploymentStatus:: , Tenure:: , AnnualIncome:: Enum 1 2 3 4 5 6 7 8 9 10 11 12 13 enum AnnualIncome { case ; case case ; ; public static function convert(int $value) : self { return match(true) { $value >= 500 => self:: , $value >= 300 => self:: , default => self:: }; 3 500 ] )

Enum Enum ( [ EmploymentStatus:: , Tenure:: , AnnualIncome:: Enum 1 2 3 4 5 6 7 8 9 10 11 12 13 enum AnnualIncome { case ; case case ; ; public static function convert(int $value) : self { return match(true) { $value >= 500 => self:: , $value >= 300 => self:: , default => self:: }; 3 500 ] )

Generator Generator yield yield from Generator

Generator
1
2
3
4
5

/** @return Generator<array{ 0: string, 1: list<Condition>}> 0:
, 1:
public function generateRules(): Generator
{
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::

6
7
8
9

yield from generateDisapprovalRules();

if ($reviewIn >= '202507') //
2025 7
yield ['
', [EmploymentStatus::

, Tenure::

}
private function generateDisapprovalRules(): Generator

12
13
14

{
foreach (Tenure::cases() as $t)
foreach (AnnualIncome::cases() as $i)
yield ['
}

', [EmploymentStatus::

-

]];
]];

//

10
11

15
16

*/

, $t, $i]];

, AnnualIncome::

]];

Generator
1
2
3
4
5

/** @return Generator<array{ 0: string, 1: list<Condition>}> 0:
, 1:
public function generateRules(): Generator
{
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::

6
7
8
9

yield from generateDisapprovalRules();

if ($reviewIn >= '202507') //
2025 7
yield ['
', [EmploymentStatus::

, Tenure::

}
private function generateDisapprovalRules(): Generator

12
13
14

{
foreach (Tenure::cases() as $t)
foreach (AnnualIncome::cases() as $i)
yield ['
}

', [EmploymentStatus::

-

]];
]];

//

10
11

15
16

*/

, $t, $i]];

, AnnualIncome::

]];

Generator
1
2
3
4
5

/** @return Generator<array{ 0: string, 1: list<Condition>}> 0:
, 1:
public function generateRules(): Generator
{
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::

6
7
8
9

yield from generateDisapprovalRules();

if ($reviewIn >= '202507') //
2025 7
yield ['
', [EmploymentStatus::

, Tenure::

}
private function generateDisapprovalRules(): Generator

12
13
14

{
foreach (Tenure::cases() as $t)
foreach (AnnualIncome::cases() as $i)
yield ['
}

', [EmploymentStatus::

-

]];
]];

//

10
11

15
16

*/

, $t, $i]];

, AnnualIncome::

]];

Generator
1
2
3
4
5

/** @return Generator<array{ 0: string, 1: list<Condition>}> 0:
, 1:
public function generateRules(): Generator
{
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::

6
7
8
9

yield from generateDisapprovalRules();

if ($reviewIn >= '202507') //
2025 7
yield ['
', [EmploymentStatus::

, Tenure::

}
private function generateDisapprovalRules(): Generator

12
13
14

{
foreach (Tenure::cases() as $t)
foreach (AnnualIncome::cases() as $i)
yield ['
}

', [EmploymentStatus::

-

]];
]];

//

10
11

15
16

*/

, $t, $i]];

, AnnualIncome::

]];

Generator
1
2
3
4
5

/** @return Generator<array{ 0: string, 1: list<Condition>}> 0:
, 1:
public function generateRules(): Generator
{
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::
yield ['
', [EmploymentStatus::
, Tenure::
, AnnualIncome::

6
7
8
9

yield from generateDisapprovalRules();

if ($reviewIn >= '202507') //
2025 7
yield ['
', [EmploymentStatus::

, Tenure::

}
private function generateDisapprovalRules(): Generator

12
13
14

{
foreach (Tenure::cases() as $t)
foreach (AnnualIncome::cases() as $i)
yield ['
}

', [EmploymentStatus::

-

]];
]];

//

10
11

15
16

*/

, $t, $i]];

, AnnualIncome::

]];

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14

public function createRuleInstances(): Generator
{
foreach ($this->generateRules() as [$action, $conditions]) {
yield new Rule($action, $conditions);
}
}
public function getMatchAction(array $facts): ?Action
{
foreach ($this->createRuleInstances() as $ruleInstance) {
if ($ruleInstance->canMatch($facts))
return $ruleInstance->makeAction(); //
}
return null; //
}

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action :

1 2 3 interface Condition {} enum AnnualIncome implements Condition { // .. snip .. 4 5 6 } /** @param list<Condition> $facts */ public function getMatchAction(array $facts): ?Action : :

1
1
2
3
4
5

interface DiscountCondition extends Condition
{
public function getDiscountRate(): float;
}
enum MemberRank implements DiscountCondition

6
7
8
9

{
case
case
case

10
11

public function getDiscountRate(): float

12
13
14
15
16
17
18
19

A;
B;
C;

{
return match($this) { //
self::
A => 0.3,
self::
self::
};
}
}

B => 0.15,
C => 0.0

DiscountCondition

1
1
2
3
4
5

interface DiscountCondition extends Condition
{
public function getDiscountRate(): float;
}
enum MemberRank implements DiscountCondition

6
7
8
9

{
case
case
case

10
11

public function getDiscountRate(): float

12
13
14
15
16
17
18
19

A;
B;
C;

{
return match($this) { //
self::
A => 0.3,
self::
self::
};
}
}

B => 0.15,
C => 0.0

DiscountCondition

1
1
2
3
4
5

interface DiscountCondition extends Condition
{
public function getDiscountRate(): float;
}
enum MemberRank implements DiscountCondition

6
7
8
9

{
case
case
case

10
11

public function getDiscountRate(): float

12
13
14
15
16
17
18
19

A;
B;
C;

{
return match($this) { //
self::
A => 0.3,
self::
self::
};
}
}

B => 0.15,
C => 0.0

DiscountCondition

1
1
2
3
4
5

interface DiscountCondition extends Condition
{
public function getDiscountRate(): float;
}
enum MemberRank implements DiscountCondition

6
7
8
9

{
case
case
case

10
11

public function getDiscountRate(): float

12
13
14
15
16
17
18
19

A;
B;
C;

{
return match($this) { //
self::
A => 0.3,
self::
self::
};
}
}

B => 0.15,
C => 0.0

DiscountCondition

1
1
2
3
4
5

interface DiscountCondition extends Condition
{
public function getDiscountRate(): float;
}
enum MemberRank implements DiscountCondition

6
7
8
9

{
case
case
case

10
11

public function getDiscountRate(): float

12
13
14
15
16
17
18
19

A;
B;
C;

{
return match($this) { //
self::
A => 0.3,
self::
self::
};
}
}

B => 0.15,
C => 0.0

DiscountCondition

1 2 3 4 5 6 7 8 9 10 interface RepeatableCondition extends Condition { public function getCount(): int; } enum RepeatCount: int implements RepeatableCondition { case = 0; case = 1; case = 2; 11 public function getCount(): int 12 13 14 { 15 16 } // return $this->value; }

1 2 3 4 5 6 7 8 9 10 interface RepeatableCondition extends Condition { public function getCount(): int; } enum RepeatCount: int implements RepeatableCondition { case = 0; case = 1; case = 2; 11 public function getCount(): int 12 13 14 { 15 16 } // return $this->value; }

1 2 3 4 5 6 7 8 9 10 interface RepeatableCondition extends Condition { public function getCount(): int; } enum RepeatCount: int implements RepeatableCondition { case = 0; case = 1; case = 2; 11 public function getCount(): int 12 13 14 { 15 16 } // return $this->value; }

1 2 3 4 5 6 7 8 9 10 interface RepeatableCondition extends Condition { public function getCount(): int; } enum RepeatCount: int implements RepeatableCondition { case = 0; case = 1; case = 2; 11 public function getCount(): int 12 13 14 { 15 16 } // return $this->value; }

Enum SRP I/O

Enum <<interface>> Condition implements extends <<enum>> <<enum>> <<interface>> EmploymentStatus AnnualIncome DiscountCondition + getDiscountRate(): float // - + convert(int): self uses uses uses InputData ConditionConverter + employmentType: string DecisionTable + convert(data: InputData): + yearsOfService: int list<Condition> + annualIncome: int // // RuleEvaluator + generateRules(): Generator // →Enum // + createRuleInstances(): Generator + getMatchAction(facts: list<Condition>): ?Action Generator // // // // Enum : - DiscountCondition: - RepeatableCondition: // // creates returns Rule Action - action: string + execute(): void - conditions: list<Condition> // + canMatch(facts): bool 4 1. : I/O 2. : →Enum 3. : 4. :

Enum Enum Enum Enum = cases

if switch

PICT

JISX0125:1986 kikakurui.com PHP5.5 PHP5.5 3 SlideShare media.shaho.co.jp (Generator) http://www.slideshare.net/kwatch/php55 - Download as a PDF, PPTX …