若对于每一个类型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
1：session 与cookie 的区别session
保存在浏览器，关闭浏览器自己失效，一般保存20分钟 cookie 保存在自己的电脑上2：$_FILE 判断是否有文件上传 //
enctype选择要上传的文件3：$_cpload 将文件上传到服务器的哪里is_uploaded_file(.....
分类：
数据库 时间：
2014-05-13 17:13:11
阅读次数：
375
容器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
