若对于每一个类型S的对象o1,都存在一个类型T的对象o2,使得在所有针对T编写的程序P中,用o1替换o2后,程序P的行为功能不变,则S是T的子类型。What
is wanted here is something like the following substitution property: I...
分类:
其他好文 时间:
2014-05-14 03:32:08
阅读次数:
229
安装时出现“command line option syntax error,Type command/?for help可能是因为你的安装源文件所在的路径中有中文,所以你可将安装文件放在一个没有中文的路径。...
分类:
其他好文 时间:
2014-05-14 01:08:29
阅读次数:
231
create or replace function get_sal1(id
employees.employee_id%type) return number is sal employees.salary%type;begin sal
:= 0; select salary into s...
分类:
数据库 时间:
2014-05-13 19:41:58
阅读次数:
456
1>msvcrtd.lib(ti_inst.obj) : error LNK2005:
"private: __thiscall type_info::type_info(class type_info const &)"
(??0type_info@@AAE@ABV0@@Z) 已经在 libcmt...
分类:
其他好文 时间:
2014-05-13 19:30:41
阅读次数:
420
转自Ibm:Name mangling is the encoding of function and
variable names into unique names so that linkers can separate common names in
the language. Type n...
分类:
编程语言 时间:
2014-05-13 18:18:53
阅读次数:
421
容器hash_set是以hash table为底层机制的,几乎所有的操作都是转调用hash table提供的接口。由于插入无法存储相同的键值,所以hash_set的插入操作全部都使用hash table的insert_unique接口,代码如下:
pair insert(const value_type& obj)
{
pair p = rep.insert_unique(obj);
...
分类:
其他好文 时间:
2014-05-13 06:33:44
阅读次数:
303
HTTP请求中,如果是get请求,那么表单参数以name=value&name1=value1的形式附到url的后面,如果是post请求,那么表单参数是在请求体中,也是以name=value&name1=value1的形式在请求体中。通过chrome的开发者工具可以看到如下(这里是可读的形式,不是真正的HTTP请求协议的请求格式):
get请求:
RequestURL:http://127....
分类:
其他好文 时间:
2014-05-13 05:59:56
阅读次数:
353
sizeof(class_type),类所占空间的大小...
分类:
其他好文 时间:
2014-05-13 05:39:21
阅读次数:
278
昨天公司需要做个对本地上传图片大小和尺寸的检测,需要用js来判断。经过我一天的研究发现,发现在ie下input的value值是本地的绝对路径,而高端浏览器,如谷歌,火狐却不是绝对路径,也就是说这些高端浏览器出于安全考虑不允许读到本地绝对路径(具体的危险待查)。也就是说只有通过后端来解决这个问题。前端...
分类:
其他好文 时间:
2014-05-11 22:47:23
阅读次数:
332