(PHP 4, PHP 5) is_int — 检测变量是否是整数 如果 var 是 integer 则返回 TRUE,否则返回 FALSE。 Note: 若想测试一个变量是否是数字或数字字符串(如表单输入,它们通常为字符串),必须使用 is_numeric()。 参见 is_bool()、is_float()、is_integer()、is_numeric()、is_string()、is_array() 和 is_object()。is_int
描述
bool is_int ( mixed $var )
is_int 检测变量是否是整数
-
Android layout实现输入法弹出后,布局整体上移
那如果要实现沉浸式状态栏又要保持布局不会被输入法遮挡,怎么办呢? 只要在根布局加上android:fitsSystemWindows=”true”即可,效果如下(为方便看效果我把背景改成了黄色):
-
js 实现获取对象所有键名(key)的方法
1.for in 循环 并且使用hasOwnProperty 方法
-
mysql查询数据的同时对它进行删除操作
今天遇见一个问题,需要把mysql数据库里面的 商品主表 和它的每一个条目对应不上的数据给全部删除(数据如下图);也就是整理一下数据库里的数据保证数据的可用;
-
Android事件触发EditText焦点和自动弹出键盘
通常在一个布局中,给EditText设置焦点方式如下 ,在Activity启动后会自动将焦点定位到第一个EditText并且键盘自动弹起。
-
Java中List集合去除重复数据的方法
Java中List集合去除重复数据的方法
-
java 字符串yyyyMMdd格式化为yyyy-MM-dd日期格式
将字符串格式yyyyMMdd的字符串转为日期,格式"yyyy-MM-dd"
-
用java实现给图片增加图片水印或者文字水印(也支持视频图像帧添加水印)
这是个很常用的操作,一般我们的网站在用户上传图片时都会给图片添加一个水印以防止其他站点盗图的行为 实现功能:①给图片增加文字水印②给图片增加图片水印
-
java缩放图片、java裁剪图片代码工具类
在系统的上传图片功能中,我们无法控制用户上传图片的大小,用户可能会上传大到几十M小到1k的的图片,一方面图片太大占据了太多的空间,另一方面,我们没办法在页面上显示统一大小的图片。所以我们需要对用户上传的图片进行缩放和裁剪,这里的缩放和平常的压缩不是一个意思,因为要实现小的图片会放大,大的图片会缩小,而且是等比例变的,图片不会显示挤压的效果。而这种操作Java完全可以实现。下面分享下java缩放、裁剪图片的工具类。
-
jar包部署到Linux服务器
在springboot的pom文件里写入(在denpendencies下面,和dependencies同级)
-
Android系统中设置TextView的行间距(非行高)
Android系统中TextView默认显示中文时会比较紧凑,不是很美观。为了让每行保持一定的行间距,可以设置属性android:lineSpacingExtra或android:lineSpacingMultiplier。