PHP7 为什么不直接支持变量类型声明，而仅仅是在函数参数中定义？

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

This topic created in 3972 days ago, the information mentioned may be changed or developed.

现在可以这么写了：

function func(int $param_1,int $param_2){
    return $param_1 + $param_2;
}

$result = func('23',23.44);//47

我觉得能够这样写就更好了：

int $param_1 = 1;
string $param_2 = "hello world";

PHP7 Reference： https://github.com/tpunt/PHP7-Reference
安装小教程： http://www.blue7wings.com/post/91

我觉得还是强类型好，各位小伙伴如何认为？（：

php7

func

int

28 replies • 2016-12-10 00:25:23 +08:00

cst4you

Jun 24, 2015

你可以 $param_1 = (int)1;

nightspirit

Jun 24, 2015

因为这样的话对于之前的几个版本变动太大了，虽然仅仅现在这样就已经搞的很不兼容了，但还是要考虑向下兼容问题。

ffffwh

Jun 24, 2015

函数一般是一个人写的，类型自己清楚。

本地变量的类型推导是比较简单的，只要给出函数参数类型，就能写出type checker，从而提前保证类型安全。

当然函数参数的类型也能推导，这就比较复杂了（unification？）。

chaucerling

Jun 24, 2015

动态语言就是变量没类型，值才有类型

jadecoder

Jun 25, 2015

语言和用户互相影响。现在用PHP的人应该都习惯了弱类型，就没必要增加这个feature。喜欢强类型的人可以选择别的语言

cevincheung

Jun 25, 2015

function e(string $param1,string $parma2):int
echo e('1',2.33333333)

banri

Jun 25, 2015 via iPhone

这…JS都不敢大声说话了

flowfire

Jun 25, 2015

php本来就是弱类型的语言，你非要人家转型。。。

kn007

Jun 25, 2015

为何一定要强类型

neilwong

Jun 25, 2015 via iPhone

通过赋值转换类型是脚本语言的最大特色了吧，而且函数上规定类型也是可选的，只是方便了做类型校验。如果变量也可以声明类型，那就需要增加一种表示方法了，例如#a或者$$a这种，和原本的区分开，表示此变量类型无法转化

ruchee

Jun 25, 2015

主要是考虑兼容性了，良好的向下兼容是PHP得以持续发展的秘密武器，反面例子可参考Python3与Perl6

blue7wings

Jun 25, 2015 via iPhone

应该是兼容的问题了，保证了php7和之前版本的兼容，而不是像python3和python2...

demonchang

Jun 25, 2015

- -！顶一个

anyforever

Jun 25, 2015

@jadecoder +1

mahone3297

Jun 25, 2015

支持强类型。。。

irgil

Jun 25, 2015

支持强类型的

Actrace

Jun 25, 2015

5.6也可以这么玩，而且可以指定一个类的类型，
比如 class A ,那么在调用的时候可以 function a(A $param)

LaughingMeMe

Jun 25, 2015

$intA,$strB,$arrC,$objD

jsq2627

Jun 25, 2015 via iPhone

我记得函数参数的类型只能算得上“类型提示”，没有严格检查的。这种写法用的多的地方应该是依赖注入吧。

lincanbin

Jun 25, 2015

为什么不用C++呢？

notcome

Jun 25, 2015 via iPhone

没必要，这些都可以 infer 出来。

此外，楼主很在意类型安全的话，可以来用用 Haskell，及其独有 TDD，我是说 Type Driven Development。除了 dependent type，Haskell 还有 refinement type checker，比如说在函数签名上可以直接标记接受所有大于零的整数，编译器就能给你检查出所有可能有问题的调用——对处理用户输入特别有帮助哦。

irgil

Jun 25, 2015 via Android

@jsq2627 7支持强类型，而且可以在php.ini设置必须使用强类型