Primitive Types in Controllers and Closure Routes

Something I've not considered is type-hinting primitive types in Laravel controllers. PHP only has four scalar primitive types: bool, int, float, and string -regarding routes, string and int are the most likely types you’d want. However, I usually don’t type-hint scalar primitive types in my controllers.

I recently saw an issue crop up with type-hinting controller actions caused by a TypeError, so I’d like to demonstrate a few examples where you can safely use type-hinted controllers with the int type.

Consider the following route action and think about what type the $orderId will be when called:

Route::get('/order/{order_id}', function ($orderId) {
    return [
        'type' => gettype($orderId),
        'value' => $orderId,
    ];
});

The $orderId will be a string when this closure is called. If you write a quick test, this is what you’ll see passing:

/**
 * A basic test example.
 *
 * @return void
 */
public function test_example()
{
    $response = $this->get('/order/123');

    $response->assertJson([
        'type' => 'string',
        'value' => '123',
    ]);
}

Now, let’s say that you expect the order id always to be an integer, so you want to type-hint the parameter:

Route::get('/order/{order_id}', function (int $orderId) {
    return [
        'type' => gettype($orderId),
        'value' => $orderId,
    ];
});

If you go back to your test, it will now fail with the following output:

--- Expected
+++ Actual
@@ @@
 array (
 'type' => 'string',
 'value' => '123',
 'type' => 'integer',
 'value' => 123,
 )

Although we technically pass a string of 123 to the route function, PHP handles this by default via type coercion. In other words, PHP tries to convert our value from a string to an integer when calling the route function.

Though technically this approach will work and guarantee a type of integer, we still have another issue you may have spotted: what if the user passes something that cannot convert from a string to an integer?

If we update our test to the following, we will get a TypeError:

public function test_example()
{
    $this->withoutExceptionHandling();

    $response = $this->get('/order/ABC-123');

    $response->assertJson([
        'type' => 'integer',
        'value' => 123,
    ]);
}

Running the test will give you the following error:

TypeError: Illuminate\Routing\RouteFileRegistrar::{closure}():
Argument #1 ($orderId) must be of type int, string given, called in .../vendor/laravel/framework/src/Illuminate/Routing/Route.php on line 238

If we want to type-hint an integer in a route, we should ensure our route has a regular expression constraint:

Route::get('/order/{order_id}', function (int $orderId) {
    return [
        'type' => gettype($orderId),
        'value' => $orderId,
    ];
})->where('order_id', '[0-9]+');

After adding the route parameter constraint, only numeric values will match the route, thus ensuring type coercion works as expected. The following test will be more accurate to ensure you cannot match the order route with a non-numeric router parameter:

public function test_example()
{
    $response = $this->get('/order/ABC-123');

    $response->assertNotFound();
}

Now you can assume that your closure route’s type safely coerces to an integer if you want to use type-hinting. Though the use-case is limited, I think learning about this nuance could help people trying to type-hint router parameters.

Alternative Approaches

If you have scalar routing parameters in controllers and closures, you can omit scalar types and do type-casting within your controller method:

Route::get(
    '/order/{order_id}',
    function ($orderId, SomeService $someService) {
        // Cast for a method that strictly type-hints an integer
        $result = $someService->someMethod((int) $orderId);
        // ...
    }
);

Most of the time, you’ll use route model binding for route parameters matching numeric IDs; however, consider this approach when you have a numeric route parameter that you want to type-hint with a primitive scalar type int.