exists的简单理解

转自:http://www.cnblogs.com/netserver/archive/2008/12/25/1362615.html

 

比如在Northwind数据库中有一个查询为

 

SELECT c.CustomerId,CompanyName FROM Customers c
WHERE EXISTS(
SELECT OrderID FROM Orders o WHERE o.CustomerID=c.CustomerID) 

 
这里面的EXISTS是如何运作呢?子查询返回的是OrderId字段,可是外面的查询要找的是CustomerID和CompanyName字段,这两个字段肯定不在OrderID里面啊,这是如何匹配的呢?

EXISTS用于检查子查询是否至少会返回一行数据,该子查询实际上并不返回任何数据,而是返回值True或False
EXISTS 指定一个子查询,检测 行 的存在。

语法: EXISTS subquery
参数: subquery 是一个受限的 SELECT 语句 (不允许有 COMPUTE 子句和 INTO 关键字)。
结果类型: Boolean 如果子查询包含行,则返回 TRUE ,否则返回 FLASE 。

例表A:TableIn例表B:TableEx


(一). 在子查询中使用 NULL 仍然返回结果集

 

select * from TableIn where exists(select null)

 
等同于: select * from TableIn

(二). 比较使用 EXISTS 和 IN 的查询。注意两个查询返回相同的结果。

 

select * from TableIn where exists(select BID from TableEx where BNAME=TableIn.ANAME)
select * from TableIn where ANAME in(select BNAME from TableEx)

 

(三). 比较使用 EXISTS 和 = ANY 的查询。注意两个查询返回相同的结果。

 

select * from TableIn where exists(select BID from TableEx where BNAME=TableIn.ANAME);
select * from TableIn where ANAME=ANY(select BNAME from TableEx);

 

NOT EXISTS 的作用与 EXISTS 正好相反。如果子查询没有返回行,则满足了 NOT EXISTS 中的 WHERE 子句。

结论:
EXISTS(包括 NOT EXISTS )子句的返回值是一个BOOL值。 EXISTS内部有一个子查询语句(SELECT ... FROM...), 我将其称为EXIST的内查询语句。其内查询语句返回一个结果集。 EXISTS子句根据其内查询语句的结果集空或者非空,返回一个布尔值。

一种通俗的可以理解为:将外查询表的每一行,代入内查询作为检验,如果内查询返回的结果取非空值,则EXISTS子句返回TRUE,这一行行可作为外查询的结果行,否则不能作为结果。

分析器会先看语句的第一个词,当它发现第一个词是SELECT关键字的时候,它会跳到FROM关键字,然后通过FROM关键字找到表名并把表装入内存。接 着是找WHERE关键字,如果找不到则返回到SELECT找字段解析,如果找到WHERE,则分析其中的条件,完成后再回到SELECT分析字段。最后形 成一张我们要的虚表。
WHERE关键字后面的是条件表达式。条件表达式计算完成后,会有一个返回值,即非0或0,非0即为真(true),0即为假(false)。同理WHERE后面的条件也有一个返回值,真或假,来确定接下来执不执行SELECT。
分析器先找到关键字SELECT,然后跳到FROM关键字将STUDENT表导入内存,并通过指针找到第一条记录,接着找到WHERE关键字计算它的条件 表达式,如果为真那么把这条记录装到一个虚表当中,指针再指向下一条记录。如果为假那么指针直接指向下一条记录,而不进行其它操作。一直检索完整个表,并 把检索出来的虚拟表返回给用户。EXISTS是条件表达式的一部分,它也有一个返回值(true或false)。

在插入记录前,需要检查这条记录是否已经存在,只有当记录不存在时才执行插入操作,可以通过使用 EXISTS 条件句防止插入重复记录。

 

INSERT INTO TableIn (ANAME,ASEX)
SELECT top 1 '张三', '男' FROM TableIn
WHERE not exists (select * from TableIn where TableIn.AID = 7);

 

EXISTS与IN的使用效率的问题,通常情况下采用exists要比in效率高,因为IN不走索引,但要看实际情况具体使用:
IN适合于外表大而内表小的情况;EXISTS适合于外表小而内表大的情况。

<think>我们正在讨论C++标准库中的std::filesystem::exists函数。根据用户的问题,需要解释该函数的用途和用法。 根据引用[3]:用户提供了一个文件检测函数的示例,其中使用了std::experimental::filesystem::exists(这是C++17之前的实验版本)来检测文件是否存在。 现在,在C++17及以后,std::filesystem::exists函数用于检查给定路径是否存在于文件系统中。 函数原型(简化): bool exists(const std::filesystem::path& p); bool exists(const std::filesystem::path& p, std::error_code& ec) noexcept; 第一个版本在出现错误时抛出异常,第二个版本将错误存储在ec中且不抛出异常。 使用步骤: 1. 包含头文件:<filesystem> 2. 使用命名空间:std::filesystem(或者使用完全限定名) 3. 构造一个path对象,传入要检查的路径(可以是文件或目录) 4. 调用exists函数 示例代码: 如果文件或目录存在,则返回true;否则返回false。 注意:路径可以是相对路径或绝对路径。 下面是一个简单的示例程序:</think>### C++ `std::filesystem::exists` 函数详解 #### **作用** `std::filesystem::exists` 用于检查指定路径(文件或目录)是否存在于文件系统中。其核心功能是验证路径的物理存在性,返回布尔值: - 路径存在 → 返回 `true` - 路径不存在 → 返回 `false` 此函数属于 C++17 标准库的 `<filesystem>` 头文件,定义在 `std::filesystem` 命名空间内[^1]。 --- #### **使用方法** ##### 1. **基本语法** ```cpp #include <filesystem> namespace fs = std::filesystem; // 简化命名空间 bool exists(const fs::path& p); // 抛出版本(错误时抛出异常) bool exists(const fs::path& p, std::error_code& ec) noexcept; // 无异常版本 ``` ##### 2. **参数说明** - `p`:要检查的路径(类型为 `std::filesystem::path`),支持字符串、字符串视图或 C 风格字符串隐式转换。 - `ec`(可选):错误码输出参数,用于无异常版本。若调用失败,错误信息存入 `ec`,函数返回 `false`。 ##### 3. **返回值** - `true`:路径对应的文件/目录存在。 - `false`:路径不存在或无法访问(如权限不足)。 --- #### **代码示例** ##### 示例 1:基础用法 ```cpp #include <iostream> #include <filesystem> int main() { namespace fs = std::filesystem; fs::path file_path = "test.txt"; // 相对或绝对路径 if (fs::exists(file_path)) { std::cout << "文件存在\n"; } else { std::cout << "文件不存在\n"; } return 0; } ``` ##### 示例 2:使用错误码处理异常 ```cpp #include <iostream> #include <filesystem> int main() { namespace fs = std::filesystem; fs::path dir_path = "/restricted_directory"; std::error_code ec; if (fs::exists(dir_path, ec)) { std::cout << "目录存在\n"; } else if (ec) { // 检查是否因错误导致不存在 std::cerr << "错误: " << ec.message() << '\n'; // 输出错误信息 } else { std::cout << "目录不存在\n"; } return 0; } ``` --- #### **注意事项** 1. **符号链接处理**: 若路径指向符号链接,函数检查链接指向的**目标**是否存在(而非链接本身)。 2. **权限要求**: 对目录需有**执行权限**(`x`),否则可能返回 `false`。 3. **路径规范化**: 建议配合 `std::filesystem::canonical` 或 `absolute` 使用,避免相对路径歧义[^2]: ```cpp fs::path p = "a/../b.txt"; if (fs::exists(fs::canonical(p))) { ... } // 先规范化路径 ``` 4. **跨平台兼容性**: 路径分隔符自动适配(Windows 支持 `/` 和 `\`,Linux/macOS 仅支持 `/`)。 --- #### **典型应用场景** - 文件操作前的存在性校验(如避免重复创建)。 - 安全删除前的确认(防止误删不存在的文件)。 - 动态加载资源前的路径有效性检查。 --- ### 相关问题 1. `std::filesystem::exists` 与 `std::ifstream::good` 有何区别? 2. 如何递归检查目录下所有文件的存在性? 3. 在 Windows/Linux 下处理路径时有哪些特殊注意事项? [^1]: 快速了解C++17 std::filesystem的原理和使用。 [^2]: std::filesystem使用笔记。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值