谓词

最新推荐文章于 2025-02-06 14:41:53 发布
最新推荐文章于 2025-02-06 14:41:53 发布
阅读量515 收藏
点赞数
分类专栏： IOS
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/wuchunyang7/article/details/42776497
版权
本文详细介绍了如何在Cocoa框架下利用NSPredicate进行正则表达式的查询操作，包括基本查询、谓词字符串支持的运算符、数组运算符等。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

首先举一个例子：
匹配9-15个由字母/数字组成的字符串的正则表达式：
    NSString * regex = @"^[A-Za-z0-9]{9,15}$";
    NSPredicate *pred = [NSPredicate predicateWithFormat:@"SELF MATCHES %@", regex];
    BOOL isMatch = [pred evaluateWithObject:txtfldPhoneNumber.text];

Cocoa用NSPredicate描述查询的方式，原理类似于在数据库中进行查询

用BETWEEN，IN，BEGINWITH，ENDWITH，CONTAINS，LIKE这些谓词来构造NSPredicate，必要的时候使用SELF直接对自己进行匹配

 

[cpp]
//基本的查询  
NSPredicate *predicate; 
predicate = [NSPredicate predicateWithFormat: @"name == 'Herbie'"]; 
    BOOL match = [predicate evaluateWithObject: car]; 
    NSLog (@"%s", (match) ? "YES" : "NO"); 
//在整个cars里面循环比较  
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower > 150"]; 
    NSArray *cars = [garage cars]; 
    for (Car *car in [garage cars]) { 
        if ([predicate evaluateWithObject: car]) { 
            NSLog (@"%@", car.name); 
        } 
    } 
//输出完整的信息  
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower > 150"]; 
    NSArray *results; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
//含有变量的谓词  
    NSPredicate *predicateTemplate = [NSPredicate predicateWithFormat:@"name == $NAME"]; 
    NSDictionary *varDict; 
    varDict = [NSDictionary dictionaryWithObjectsAndKeys: 
               @"Herbie", @"NAME", nil]; 
    predicate = [predicateTemplate predicateWithSubstitutionVariables: varDict]; 
    NSLog(@"SNORGLE: %@", predicate); 
    match = [predicate evaluateWithObject: car]; 
  NSLog (@"%s", (match) ? "YES" : "NO"); 
//注意不能使用$VARIABLE作为路径名，因为它值代表值  
//谓词字符窜还支持c语言中一些常用的运算符  
    
    predicate = [NSPredicate predicateWithFormat: 
                 @"(engine.horsepower > 50) AND (engine.horsepower < 200)"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"oop %@", results); 
    
    predicate = [NSPredicate predicateWithFormat: @"name < 'Newton'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", [results valueForKey: @"name"]); 
//强大的数组运算符  
    predicate = [NSPredicate predicateWithFormat: 
                 @"engine.horsepower BETWEEN { 50, 200 }"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
    
    NSArray *betweens = [NSArray arrayWithObjects: 
                         [NSNumber numberWithInt: 50], [NSNumber numberWithInt: 200], nil]; 
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower BETWEEN %@", betweens]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
    predicateTemplate = [NSPredicate predicateWithFormat: @"engine.horsepower BETWEEN $POWERS"]; 
    varDict = [NSDictionary dictionaryWithObjectsAndKeys: betweens, @"POWERS", nil]; 
    predicate = [predicateTemplate predicateWithSubstitutionVariables: varDict]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
//IN运算符  
    predicate = [NSPredicate predicateWithFormat: @"name IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", [results valueForKey: @"name"]); 
    predicate = [NSPredicate predicateWithFormat: @"SELF.name IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", [results valueForKey: @"name"]); 
    
    names = [cars valueForKey: @"name"]; 
    predicate = [NSPredicate predicateWithFormat: @"SELF IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"]; 
    results = [names filteredArrayUsingPredicate: predicate];//这里限制了SELF的范围  
    NSLog (@"%@", results); 
//BEGINSWITH,ENDSWITH,CONTAINS  
//附加符号，[c],[d],[cd],c表示不区分大小写，d表示不区分发音字符，cd表示什么都不区分  
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH 'Bad'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
    
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH 'HERB'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
    
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH[cd] 'HERB'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
//LIKE运算符（通配符）  
    predicate = [NSPredicate predicateWithFormat: @"name LIKE[cd] '*er*'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 
    
    predicate = [NSPredicate predicateWithFormat: @"name LIKE[cd] '???er*'"]; 
    results = [cars filteredArrayUsingPredicate: predicate]; 
    NSLog (@"%@", results); 

//基本的查询
NSPredicate *predicate;
predicate = [NSPredicate predicateWithFormat: @"name == 'Herbie'"];
    BOOL match = [predicate evaluateWithObject: car];
    NSLog (@"%s", (match) ? "YES" : "NO");
//在整个cars里面循环比较
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower > 150"];
    NSArray *cars = [garage cars];
    for (Car *car in [garage cars]) {
        if ([predicate evaluateWithObject: car]) {
            NSLog (@"%@", car.name);
        }
    }
//输出完整的信息
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower > 150"];
    NSArray *results;
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
//含有变量的谓词
    NSPredicate *predicateTemplate = [NSPredicate predicateWithFormat:@"name == $NAME"];
    NSDictionary *varDict;
    varDict = [NSDictionary dictionaryWithObjectsAndKeys:
               @"Herbie", @"NAME", nil];
    predicate = [predicateTemplate predicateWithSubstitutionVariables: varDict];
    NSLog(@"SNORGLE: %@", predicate);
    match = [predicate evaluateWithObject: car];
  NSLog (@"%s", (match) ? "YES" : "NO");
//注意不能使用$VARIABLE作为路径名，因为它值代表值
//谓词字符窜还支持c语言中一些常用的运算符
  
    predicate = [NSPredicate predicateWithFormat:
                 @"(engine.horsepower > 50) AND (engine.horsepower < 200)"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"oop %@", results);
  
    predicate = [NSPredicate predicateWithFormat: @"name < 'Newton'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", [results valueForKey: @"name"]);
//强大的数组运算符
    predicate = [NSPredicate predicateWithFormat:
                 @"engine.horsepower BETWEEN { 50, 200 }"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
  
    NSArray *betweens = [NSArray arrayWithObjects:
                         [NSNumber numberWithInt: 50], [NSNumber numberWithInt: 200], nil];
    predicate = [NSPredicate predicateWithFormat: @"engine.horsepower BETWEEN %@", betweens];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
    predicateTemplate = [NSPredicate predicateWithFormat: @"engine.horsepower BETWEEN $POWERS"];
    varDict = [NSDictionary dictionaryWithObjectsAndKeys: betweens, @"POWERS", nil];
    predicate = [predicateTemplate predicateWithSubstitutionVariables: varDict];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
//IN运算符
    predicate = [NSPredicate predicateWithFormat: @"name IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", [results valueForKey: @"name"]);
    predicate = [NSPredicate predicateWithFormat: @"SELF.name IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", [results valueForKey: @"name"]);
  
    names = [cars valueForKey: @"name"];
    predicate = [NSPredicate predicateWithFormat: @"SELF IN { 'Herbie', 'Snugs', 'Badger', 'Flap' }"];
    results = [names filteredArrayUsingPredicate: predicate];//这里限制了SELF的范围
    NSLog (@"%@", results);
//BEGINSWITH,ENDSWITH,CONTAINS
//附加符号，[c],[d],[cd],c表示不区分大小写，d表示不区分发音字符，cd表示什么都不区分
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH 'Bad'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
  
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH 'HERB'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
  
    predicate = [NSPredicate predicateWithFormat: @"name BEGINSWITH[cd] 'HERB'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
//LIKE运算符（通配符）
    predicate = [NSPredicate predicateWithFormat: @"name LIKE[cd] '*er*'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);
  
    predicate = [NSPredicate predicateWithFormat: @"name LIKE[cd] '???er*'"];
    results = [cars filteredArrayUsingPredicate: predicate];
    NSLog (@"%@", results);

谓词公式
Meskjei的博客
03-17 2万+
谓词公式 单个谓词是谓词公式，称为原子谓词公式 若A是谓词公式，则¬A\lnot A¬A也是谓词公式 若A,B都是谓词公式，则A∧B,A∨B,A→BA \land B, A \lor B, A \to BA∧B,A∨B,A→B也都是谓词公式 若A是谓词公式，则(∀X)A,(∃X)A(\forall X)A,(\exists X)A(∀X)A,(∃X)A也都是谓词公式 有限步应用1~4步所得到的公...
mysql 谓词_Mysql谓词下推技术
weixin_31523833的博客
01-19 987
Mysql谓词下推技术上次和一个朋友在讨论一个Mysql连接的优化,他的观点是有对于where条件的限制的表，可以先对这个表写一个from视图，在视图中先用where条件做限制,然后再来做连接原始语句是这样的select *from sbtest t1 join snapshot t2 on t1.id=t2.idwhere t2.snap_id=1420637262改成如下的形式select ...
函数与谓词
weixin_73575833的博客
11-27 870
函数符号和谓词符号是逻辑学和数学中常用的概念，尤其在一阶逻辑中。这两者的区别主要体现在它们的语义功能和使用场景上。构造 vs 判断：结合公式：总的来说，函数符号偏向于“生成”，而谓词符号偏向于“判断”。在谓词逻辑（尤其是一阶逻辑）中，**项（Term）**是一个重要的概念，用于表示逻辑语言中的个体或对象。项是由变量、常量和函数符号通过特定的规则构造而成的。项是用于表示个体或对象的表达式，具体定义如下：常项（Constant Terms）：变量项（Variable Terms）：复合项（Compound Te
mysql 谓词_数据库谓词
weixin_33070823的博客
01-19 689
谓词：属于函数的一种，但其返回值是真值(true/false/unknown)判断是否存在满足某种条件的记录，存在返回TRUE、不存在返回FALSE。比较多用到的几种谓词:LIKEBETWEENIS NULL/IS NOT NULLINEXISTSLIKE谓词——字符串的部分一直查询(模糊查询)--MySQL--DDL：创建表CREATE TABLE SampleLike( strcol VARC...
谓词逻辑
living_frontier的博客
05-17 2450
谓词逻辑 一、对比 命题逻辑是研究不同简单命题间关系的，但谓词逻辑是研究简单命题内部结构的，是更加深入的考察。 命题逻辑形成的公式只需要赋值就可以确定真值，但是谓词逻辑就不行。这是因为谓词逻辑将简单命题拆为量词、主词、谓词。量词和主词要求指明论域，谓词要求指明具体含义。这些都使原来 p=1 的简单事情变成了 ∀xP(x,f(a))=1\forall xP(x,f(a))=1∀xP(x,f(a))=1 的复杂事情。我必须规定论域、谓词含义、常元值（命题逻辑中只有1和0，还被零元联结词的概念掩盖了，但
java谓词_Java中的谓词
weixin_34837971的博客
02-27 318
我假设你说的是从Guava的com.google.common.base.Predicate。从API：Determines a true or false value for a given input. For example, a RegexPredicate might implement Predicate, and return true for any string that mat...
谓词函数
Hello world！
01-10 2158
c++谓词函数和仿函数 2012-07-09 12:54 by youxin, 335 阅读, 0 评论, 收藏, 编辑   什么谓词，其实就是一个判断式，说白了就是一个返回bool值的函数或者仿函数。（这里说明了谓词可以有2种形式）几元就是函数有几个参数，至于定义和使用，函数定义和一般的函数定义一样，仿函数就是写个类，然后重载operator()。使用就是在那些以这种需要返回bool
SQL 中的谓词逻辑
引用原创内容标明出处即可
02-06 989
在 SQL 查询语言中，谓词（Predicate）是用于 评估条件并返回布尔值（TRUE、FALSE 或 UNKNOWN） 的表达式。谓词在 SQL 语句中被广泛应用，尤其是在 WHERE、HAVING、JOIN、CASE 语句中，用于筛选数据、定义逻辑和执行条件操作。
mysql 谓词_MySQL sql 无法自动谓词推入
weixin_33736666的博客
01-19 243
mysql 版本 5.6.16：优化前：xxx@5.6.16-logxxx 03:41:23>SELECTaaa.POP_VENDER_ACC_IDasaccId,sum(aaa.aa1)asTC->FROM(SELECTa.POP_VENDER_ACC_ID,->a.POP_VENDER_NAME,->...
基于谓词逻辑的归结原理实验
06-10
在IT领域，尤其是在人工智能的研究中，归结原理（Resolution Principle）是证明逻辑定理的一种重要方法，它在基于谓词逻辑的自动定理证明中扮演着核心角色。本实验旨在帮助我们深入理解归结原理及其在定理证明过程中...
大数据 | SparkSQL连接查询中的谓词下推处理(二)
01-20
在Spark SQL中，谓词下推（Predicate Pushdown）是一种优化技术，用于在执行查询时提前过滤数据，减少不必要的计算量。在连接查询中，谓词下推尤其关键，因为它可以显著提高查询效率。本文主要探讨了外连接查询，...
第二章_谓词逻辑1
08-03
谓词逻辑是逻辑学的一个分支，它扩展了命题逻辑的能力，允许处理含有变量的陈述，这些变量可以代表不确定或未指定的对象。命题逻辑只能处理不包含变量的简单命题，而谓词逻辑则能够精确地表达和推理关于这些变量的...
人工智能知识表示与推理：1.知识表示概述；2.一阶谓词逻辑；3.产生式和产生式系统；4.框架；5.自动推理
07-09
这种逻辑系统包含了变量、常量、函数和谓词，能够表达复杂的命题和推理规则，是形式化表示知识的基础。 3. 产生式和产生式系统： 产生式是“如果...则...”的规则形式，用于描述从一组条件到一组结果的转换。产生式...
ScrollView上加Button UIControlEventTouchUpInside事件超出边界扔响应问题
wudaye7的专栏
09-18 1518
我们知道当多个视图进行叠加的时候，touch事件是作用到最上面的视图上，但是如果父视图是UIScrollView，如果默认，可能touch子视图会造成UIScrollView的滚动。 UIScrollView滚动的原因，可以看UIScrollView 原理。 我在这里简单的描述一下，UIScrollView的工作原理，当手指touch的时候，UIScrollView会拦截Event,会
CABasicAnimation delegate方法
wudaye7的专栏
04-22 1344
CABasicAnimation *positionAnim=[CABasicAnimation animationWithKeyPath:@"position"];         [positionAnim setFromValue:[NSValue valueWithCGPoint:CGPointMake(img.center.x, img.center.y)]];         [p
随记
wudaye7的专栏
07-01 883
优快云 全:  http://www.cocoachina.com/ask/app/webroot/upload/201401/20140117095310_35469.png iOS 打开文档：http://www.cocoachina.com/ios/20130515/6212.html   QLPreviewController  http://blog.youkuaiyun.com/and
AssetsLibrary.framework
wudaye7的专栏
11-25 591
ALAssetsLibrary *library = [[ALAssetsLibrary alloc] init]; [library enumerateGroupsWithTypes:ALAssetsGroupAll   usingBlock:^(ALAssetsGroup *group, BOOL *stop) { NSLog(@"%@", group)
C++谓词
最新发布
03-17
<< 在C++中，“谓词”通常是指返回布尔值（true或false）的函数、仿函数（functor）或者其他可调用对象。它们常用于算法库中的条件判断，例如`std::find_if`, `std::count_if`等。 ### C++ 谓词介绍 #### 1. **一元谓词** - 接受一个参数并返回布尔值。 - 示例：检查某个数是否为偶数。 ```cpp #include <iostream> #include <vector> #include <algorithm> // 定义一个一元谓词 bool isEven(int x) { return (x % 2 == 0); } int main() { std::vector<int> v = {1, 2, 3, 4, 5}; // 使用标准库算法 find_if 和自定义的一元谓词 auto it = std::find_if(v.begin(), v.end(), isEven); if(it != v.end()) { std::cout << "First even number: " << *it << "\n"; } else { std::cout << "No even numbers found.\n"; } return 0; } ``` #### 2. **二元谓词** - 接受两个参数，并返回布尔值。 - 常见的例子包括比较运算符重载，比如小于(<),等于(==)等等。 ```cpp #include <iostream> #include <vector> #include <algorithm> // 定义一个二元谓词 struct LessThan { bool operator()(const int& a, const int& b) const { return a < b; } }; int main(){ std::vector<int> vec{7,8,9,6,5,4}; // 查找第一个大于5的元素的位置 auto pos = std::find_if(vec.begin(),vec.end(),[=](const int &val){return LessThan()(val,5);}); if(pos!=vec.end()){ std::cout<<"The first element greater than 5 is "<<*pos<<"\n"; } return 0; } ``` **解释**: 在上述例子中，我们分别展示了如何使用一元谓词与二元谓词进行逻辑操作。第一段代码利用了标准模板库（STL）里的查找命令结合用户自己编写的一个简单的一元谓词(isEven)，找到了数组里首个出现的偶数值；而在第二个示例里面，则是创建了一个结构体形式表示的大于关系作为二元谓词。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值