表达式中的模式匹配运算符/构造函数
表达式中的模式匹配运算符/构造函数是一种用于匹配和提取数据的操作符或函数。它可以根据预定义的模式来检查表达式中的值，并根据匹配结果执行相应的操作。
模式匹配运算符/构造函数在编程中具有广泛的应用，特别是在函数式编程和模式匹配语言中。它可以用于解构复杂的数据结构，如列表、元组、对象等，以及匹配特定的值或模式。
优势：
- 简化代码：模式匹配运算符/构造函数可以将复杂的条件判断和数据提取逻辑简化为一行代码，提高代码的可读性和可维护性。
- 强大的匹配能力：模式匹配运算符/构造函数可以根据不同的模式进行匹配，包括常量匹配、变量匹配、类型匹配、结构匹配等，可以满足各种不同的匹配需求。
- 提高代码的健壮性：模式匹配运算符/构造函数可以在编译时进行静态检查，减少运行时错误的可能性。
- 增加代码的可扩展性：通过添加新的模式匹配规则，可以方便地扩展代码的功能，而不需要修改已有的代码。
应用场景：
- 数据解构和提取：模式匹配运算符/构造函数可以用于解构和提取复杂的数据结构，如解析JSON/XML数据、提取数据库查询结果等。
- 条件判断和分支逻辑：模式匹配运算符/构造函数可以根据不同的条件进行匹配，并执行相应的分支逻辑，如处理不同类型的请求、处理不同状态的数据等。
- 数据转换和格式化：模式匹配运算符/构造函数可以根据不同的模式将数据转换为不同的格式，如将日期格式化为不同的字符串、将数据转换为不同的单位等。
腾讯云相关产品和产品介绍链接地址： 腾讯云提供了多种云计算相关产品，以下是一些与模式匹配运算符/构造函数相关的产品：
- 云函数（Serverless Cloud Function）：腾讯云云函数是一种无服务器计算服务，可以根据事件触发执行代码逻辑。它可以与模式匹配运算符/构造函数结合使用，实现灵活的事件处理和数据解构。了解更多：云函数产品介绍
- 人工智能机器学习平台（AI Machine Learning Platform）：腾讯云人工智能机器学习平台提供了丰富的机器学习和深度学习工具，可以用于模式匹配和数据解构。了解更多：人工智能机器学习平台产品介绍
- 数据库（TencentDB）：腾讯云数据库提供了多种数据库产品，如关系型数据库、NoSQL数据库等，可以用于存储和查询数据。模式匹配运算符/构造函数可以与数据库查询语言结合使用，实现灵活的数据提取和处理。了解更多：数据库产品介绍
请注意，以上仅为腾讯云提供的一些相关产品，其他云计算品牌商也提供类似的产品和服务。
相关·内容
1回答
玩着艾利克西尔。考虑一下这个场景。我有过
iex> a = b = 1 #=> a = 1, b = 1
iex> c = true
iex> a == b #=> true
iex> true = c #=> true
因此我假设下面的代码会返回true，但是得到了非法的模式。
iex> a == b = c
** (CompileError) ... illegal pattern
浏览 1提问于2016-08-11得票数 1
我(无意中)遇到了一些模式匹配语法，我没想到要编译，现在无法理解。
它似乎与unapplySeq有关。
注意这个简单示例中的case x List(_,_)部分：
val xs = List(1, 2, 3) //> xs : List[Int] = List(1, 2, 3)
xs match {
case x List (_, _) => "yes"
case _ => "no"
}
浏览 1提问于2015-06-22得票数 9
回答已采纳
1回答
我希望理解下面引用的书中的一个例子。我知道这是关于模式匹配的，但是我在哪里可以找到对match表达式含义的完整和准确的描述？
# let rec sort lst =
# match lst with
# [] -> []
# | head :: tail -> insert head (sort tail)
# and insert elt lst =
# match lst with
# [] -> [elt]
# | head :: tail -> if elt <= head then elt :: lst else head :: insert elt
浏览 0提问于2013-01-22得票数 1
回答已采纳
我需要找到类似命名的字符串，它们作为bash变量传递给作为函数参数的内插字符串中的regex模式。我对Regex并不熟悉，所以我不确定最好的方法是什么。
以下是我目前的情况：
bash_script.sh
findKeys(`grep --ignore-case ^${apiServiceName}$`)
但是，有些API具有类似的名称，例如：
apiServiceNames = ['api-name', 'api-name-one', 'api-name-two']
让人费解的地方是将\ (哪些字符转义)放在哪里，因为变量需要${}，但是$^打
浏览 0提问于2019-04-05得票数 1
回答已采纳
2回答
使用$符号而不是%
、、、
我已经开始练习SQL，我想我需要复习一些主题。
hackerrank中的问题语句指出，查询列出了不以元音结尾的站点中的城市名称。
我尝试使用通配符'%[^aeiou]'
SELECT Distinct City
FROM Station
Where City LIKE '%[^aeiou]'
Order By City;
编译器消息:回答错误。
我知道执行程序的其他方法，但这个方法有什么问题。另外，我想知道REGEXP '[^aiueo]$'是如何工作的，但是Like '%[^aeiou]或Not Like '%[ae
浏览 1提问于2019-06-17得票数 1
回答已采纳
我希望能够从命令行中获取参数，并将其用作脚本中的正则表达式，以便从文件中过滤行。一个简单的例子
$ perl script.pl id_4
在script.pl中：
...
my $exp = shift;
while(my $line = <$fh){
if($line =~ /$exp/){
print $line,"\n";
}
}
...
我的实际脚本稍微复杂一些，并对该行执行其他操作以提取信息并生成不同的输出。我的问题是，在某些情况下，我想过滤掉所有包含"id_4“的行，而不是只选择包含"id_4”的行。通常，这可
浏览 4提问于2012-03-13得票数 0
回答已采纳
2回答
我想要做的是将字符串列表作为输入，然后执行一些操作，然后返回一个字符串列表。问题是，我正在为每种情况寻找特定但通用的字符串模式：
func :: [String] -> [String]
func [] = []
func [x] = [x]
func (["Not","(","Not"]:es:[")"]) = es --HERE
func ("Not":"(":pred:"And":rest:")") = ("Not":pred:"
浏览 1提问于2014-11-26得票数 0
回答已采纳
2回答
放置新的和删除
、、、
删除这里分配的所有内存的正确方法是什么？
const char* charString = "Hello, World";
void *mem = ::operator new(sizeof(Buffer) + strlen(charString) + 1);
Buffer* buf = new(mem) Buffer(strlen(charString));
delete (char*)buf;
或
const char* charString = "Hello, World";
void *mem = ::operator new(
浏览 0提问于2011-07-22得票数 64
回答已采纳
3回答
对于此函数，该函数计算包含谓词的列表中的元素数，
count :: (a -> Bool) -> [a] -> Int
count _ [] = 0
count p (x:xs) = (if (p x) then 1 else 0) + count p xs
如何在保持求和的同时将if-else表达式转换为模式匹配。
浏览 6提问于2014-10-20得票数 0
回答已采纳
1回答
在我的数据库的特定列中，有以数字结尾的值，但其他值不以数字结尾。我尝试只获取不包含这些数字的数据。 我尝试使用这些查询，但它们不起作用： User.where.not("spec like ?", "%\d")
User.where.not("spec ~ ?", "%\d") 我怎样才能找到这些数据呢？
浏览 7提问于2019-03-14得票数 2
回答已采纳
我试图传入一个字符串以获得一个反转的字符串。为什么我不能这样做：
let rec reverse x =
match x with
| "" -> ""
| e ^ s -> (reverse s) ^ e;;
编译器说这是一个语法错误。
浏览 0提问于2012-03-26得票数 10
回答已采纳
1回答
我对语法规范中的*和+的含义有点困惑。我希望像这样的
rascal>syntax Statement = "{" {Statement ";"}* "}";
指用分号分隔和结束的语句块。但在中，它说：
用分号分隔的语句块
我确实在一些代码中看到，这样的语法规范允许解析像{ x = 1; x }这样的语句。为什么是那样的？
浏览 3提问于2013-10-31得票数 3
回答已采纳
我有这个密码
type Point = (Int, Int)
data Points
= Rectangle Point Point
| Union Points Points
| Difference Points Points
inMax :: Int -> Int -> Int
inMax a b
| a < b = b
| otherwise = a
inMin :: Int -> Int -> Int
inMin a b
| a < b = a
| otherwise
浏览 3提问于2021-08-09得票数 1
回答已采纳
我正在阅读，它有两个例子：
# let rec last_two = function
| [] | [_] -> None
| [x;y] -> Some (x,y)
| _::t -> last_two t;;
我理解第一个：_::t的意思是模式匹配任何东西，并称之为t
但在
# let rec at k = function
| [] -> None
| h :: t -> if k = 1 then Some h else at (k-1) t;;
我不明白h是什么意思。对我来说，应该是_:: t -> ...
浏览 8提问于2020-04-20得票数 1
回答已采纳
2回答
我对函数式编程非常陌生，我已经开始研究match语句的文档，在这个示例中，我看到了，并剪切和粘贴了下面的问题：
let rec fib n =
match n with
| 0 -> 0
| 1 -> 1
| _ -> fib (n - 1) + fib (n - 2)
据我所知，let是用于静态绑定的，在这种情况下，对于一个名为fib的递归函数，它有一个参数n，它试图将n与3种情况相匹配。如果是0，1或者其他什么的话。
我不明白的是，在这个上下文中，|符号被称为什么，或者为什么要使用它？我搜索的任何关于f-尖管道的内容都会带我到这个|>
浏览 6提问于2017-06-28得票数 3
回答已采纳
我想用精确的字符串来匹配两个数组之间的选项。
options = ["arish1", "arish2", "ARISH3", "arish 2", "arish"]
choices = ["Arish"]
final_choice = options.grep(Regexp.new(choices.join('|'), Regexp::IGNORECASE))
p final_choice
Output:
["arish1", "arish2",
浏览 6提问于2021-10-08得票数 1
回答已采纳
我收到一个错误：Not a data constructor: "%:" data KV = forall a. Show a => (%:) Text a 有趣的是，作为数据构造器，:%是很好的！%%也不是很好。但是%%可以作为中缀函数。为什么它被视为一个错误？这些变体之间的区别是什么？
浏览 14提问于2019-07-02得票数 1
回答已采纳
我知道在Perl中，最常见的有效正则表达式如下：
$_ =~ m/regular expression/;
# and "m" can be omit
$_ =~ /regular expression/;
我可以使用qr创建一个正则表达式引用，如下所示：
my $regex = qr/regular expression/;
$_ =~ m/$regex/;
# and "m//" can be omit:
$_ =~ $regex;
但我试过这样做：
my $str = "regular expression";
$_ =~ $str;
浏览 0提问于2018-09-22得票数 4
回答已采纳
1回答
我一直无法在网上找到任何帮助，所以希望有人可能有一个想法。
当使用grep时，表达式中的下划线意味着什么？
例如：_a-zA-Z0-9
有人能帮我解释一下这里的目的吗？
浏览 2提问于2017-07-17得票数 1
回答已采纳
执行 (我目前正在尝试学习该语言)，我尝试将模式匹配和递归结合到我的函数中，该函数现在如下所示：
myElementAt :: [a] -> Int -> a
myElementAt (x ++ xs) i =
if length (x ++ xs) == i && length xs == 1 then xs!!0
else myElementAt x i
这给了我Parse error in pattern: x ++ xs。问题如下：
为什么这会给我一个解析错误？是不是因为Haskell不知道在哪里删减我的列表(这是我最好的猜测)？
我怎样才能
浏览 6提问于2017-05-29得票数 1
回答已采纳
我试图在其定义中对异常进行模式匹配。是否可以使用F#的异常语法，或者必须使用Exception子类
这就是我所期望的工作：
exception CoordErr of int * int
with
override this.Message =
let CoordErr(x, y) = this
sprintf "(%i %i)" x y //ERROR
但会产生错误：
未定义值或构造函数'x‘
未定义值或构造函数'y‘
编辑
我还试着添加父母：
let (CoordErr(x, y))
浏览 0提问于2011-02-17得票数 1
回答已采纳
我试图在服务器端找到一个mongo查询，我的查询如下
{
$text: { $search: "beautiful" },
"Category": {
$elemMatch: {
"title": { $in: [/Home/] }
}
},
"Company": { $regex: /philips/i }
}
对于上面的查询，我得到了我想要的确切结果，但是我的问题是，公司名称"philips"是从我的html页面到服务器端的
浏览 2提问于2016-10-20得票数 0
回答已采纳
我想知道在java的Pattern和Matcher类中没有公共构造函数有什么特别的原因吗？
谢谢
浏览 0提问于2010-03-09得票数 1
回答已采纳
当我在红移上使用负展望(类似于(?!abc))时，红移返回如下错误：
-- Find records that do not start with abc
select * from table_a where column_a ~ '^(?!abc).+$'
错误: PG::InternalError: Error:重复运算符之前的正则表达式无效。解析正则表达式：'^(?>>>HERE>>>!abc).+$‘时发生错误。详细信息:错误:重复操作符之前的正则表达式无效。解析正则表达式：'^(?>>>HERE
浏览 4提问于2016-12-07得票数 9
回答已采纳
2回答
我是perl的新手，正在尝试设计一个我遇到的词法分析器：
my @token_def =
(
[Whitespace => qr{\s+}, 1],
[Comment => qr{#.*\n?$}m, 1],
);
即使在浏览了多个网站之后，我也不明白其中的含义。
浏览 1提问于2015-05-07得票数 13
我定义了一棵二叉树：
data Tree = Null | Node Tree Int Tree
并实现了一个函数，该函数将生成其所有节点的值之和：
sumOfValues :: Tree -> Int
sumOfValues Null = 0
sumOfValues (Node Null v Null) = v
sumOfValues (Node Null v t2) = v + (sumOfValues t2)
sumOfValues (Node t1 v Null) = v + (sumOfValues t1)
sumOfValues (Node t1 v t2) = v + (s
浏览 3提问于2011-01-17得票数 9
回答已采纳
1回答
在做一个纸牌游戏项目时，我正在尝试创建一个新的地图，同时我已经有了一个我想要用作KeySet的列表。地图必须使用Player类型的键，并且每个键都包含一个由单个List<Trick>组成的值，Player是一个接口和技巧-一个类。
最初，我尝试使用我拥有的List<Player> players流，然后以以下方式将其收集到一个Map中：
private Map<Player, List<Trick>> playerTricks = players.stream()
.collect(Collectors.toMap(x ->
浏览 2提问于2018-08-02得票数 4
回答已采纳
1回答
以下是
(&&) :: Bool -> Bool -> Bool
False && _ = False
True && False = False
True && True = True
具有所需的短路特性False && undefined ≡ False。第一个子句在正确的参数中是不严格的，保证在尝试其他任何内容之前都要检查它。
显然，如果我改变顺序，甚至取消函数，它仍然有效。
both :: (Bool,Bool) -> Bool
both (True,False) = False
both
浏览 5提问于2016-10-30得票数 13
回答已采纳
2回答
#include <iostream>
using namespace std;
struct A {
A(int i) {
cout << "1 args" << endl;
}
A(int i, int j) {
cout << "2 args" << endl;
}
};
void foo(int i) {
cout << "1 args" << endl;
}
void foo(i
浏览 3提问于2017-04-25得票数 2
回答已采纳
1回答
Swift有一个非常漂亮的switch语句，它的外观(至少与其他C导数相比)可以使用值、列表、元组、范围等等。
它的顺序处理特性使得这是一种非常符合逻辑的方法，但我想知道它是否支持更多用于检查的任意对象，例如变量和其他通用表达式，例如：
let check = 7
switch (value) {
case check:
println("exact");
case check * 2:
println("twice");
case check * 3:
println("thric
浏览 0提问于2014-11-27得票数 0
回答已采纳
3回答
正整数正则表达式
、、
正整数的正则表达式是什么？我需要它在一个if子句中，在一个bash脚本中，我尝试了[[ $myvar == [1-9][0-9]* ]]，我不明白为什么它说，例如，6不是一个整数，20O0O0是一个整数。
浏览 1提问于2016-12-17得票数 0
回答已采纳
5回答
什么是Haskell中的模式匹配?它与防护方程有何关系？
我试着寻找一个简单的解释，但我没有找到。
编辑:被标记为家庭作业的人。我不再上学了，我只是在学习Haskell，我正在努力理解这个概念。纯粹出于兴趣。
浏览 6提问于2010-02-09得票数 45
回答已采纳
3回答
F#类型和基本计算的动态计算
、、、、
为了适应F#，我尝试了一些小示例，下一步是编写一些用于逻辑计算/评估的函数，现在我有了这个结构
type Expr =
| True
| False
| Not of Expr
| And of Expr * Expr
我想要实现的目标应该是显而易见的:能够封装不同的函数，比如Not和And，以便在And(And(True, Not(False)), True)这样的计算中使用，但目前我不知道(这是我第一次编写这样的“复杂”函数代码)如何使用这个结构并编写适当的方法，例如我可以编写求值
let evalLogic (expr : Expr) : bool =
浏览 0提问于2011-10-29得票数 1
回答已采纳
1回答
我必须通过xml中的regex处理特定的验证。
用户必须输入一个ID，其中前四个位置应该只包含拉丁字符(包括重音符号)，而不包含数字、其他字母表中的字符、特殊字符或空格。
我真的不明白“拉丁字符包括重音”是什么意思。
浏览 1提问于2015-03-09得票数 0
如何在模板约束中使用？
我假设是这样的，但我错了
import std.range;
auto f(T)(T x)
if (ElementType!(T) is uint) // adding this line causes lot of error messages
// first of which is: found ')' when expecting '.' following uint
{
return x;
}
f(map!"a"([1,2,3,4
浏览 0提问于2012-05-24得票数 1
回答已采纳
1回答
我有一张桌子上有这样的条目
ABC001ABC1 ABC100DBCD1 ABC2 ABC020ABC201 CED12
诸若此类。我想查询所有的条目，就像我的搜索列表中的条目一样。引导零点是可选的
ABC1、ABC01和ABC001都是相同的ABC010，与上的条目不同，没有编号查找所有条目，从这个数字开始，ABC01允许组合搜索: ABC1、BCD、ZXD <code>F 227</code>
我第一次接触到
select * from table t where t.itemname in 'ABC1', 'BCD', 'Z
浏览 2提问于2019-09-20得票数 0
很抱歉，“我错过了什么”的提问风格，但我只是在这里遗漏了一些东西。
我试图了解GADT在OCaml中是如何工作的，我定义了以下内容(在utop中)：
type value =
| Bool : bool -> value
| Int : int -> value
;;
type _ value =
| Bool : bool -> bool value
| Int : int -> int value
;;
type _ expr =
| Value : 'a value -> 'a expr
| If : bool expr * '
浏览 2提问于2019-09-26得票数 0
回答已采纳
1回答
在OCaml中，当我执行模式匹配时，我不能执行以下操作：
let rec example = function
| ... -> ...
| ... || ... -> ... (* here I get a syntax error because I use ||*)
相反，我需要做的是：
let rec example1 = function
|... -> ...
|... | ... -> ...
我知道||在OCaml中的意思是or，但是为什么我们在模式匹配中只需要使用一个‘管道’：|来指定'or‘？
为什么通常的||
浏览 1提问于2018-10-06得票数 0
4回答
我和一些同事讨论了当你在一个动态分配的类中抛出一个异常时会发生什么。我知道malloc会被调用，然后是类的构造函数。构造函数永远不会返回，那么malloc会发生什么呢？
考虑以下示例：
class B
{
public:
B()
{
cout << "B::B()" << endl;
throw "B::exception";
}
~B()
{
cout << "B::~B()" << endl;
浏览 2提问于2009-08-20得票数 7
回答已采纳
我试图用Haskell编写一个测试函数来打乱定义和返回函数以保持状态的想法。这是我的尝试： fib x = aux x results
where
results 0 = 1
results 1 = 1
results _ = -1
aux y res = ((res' y) , res')
where
res' = if res y /= -1 then res else newres2
where
(num,newres) = aux (y-1) res
浏览 16提问于2019-12-21得票数 1
回答已采纳
我不能清楚地理解它。我试着学习"with“关键字，但我也有疑问。请帮帮我！
我想了解"with“的工作原理和这段代码的工作原理。
something-even : ∀ n → Even n ⊎ Even (suc n)
something-even zero = inj₁ zero
something-even (suc n) with something-even n
... | inj₁ x = inj₂ (suc-suc x)
... | inj₂ y = inj₁ y
(this states that either n is even or its successor
浏览 1提问于2015-05-08得票数 2
4回答
在代码中：
oneChar :: Char -> Doc
oneChar c = case lookup c simpleEscapes of
Just r -> text r
Nothing | mustEscape c -> hexEscape c
| otherwise -> char c
where mustEscape c = c < ' ' || c == '\x7f' || c > '\xff
浏览 1提问于2010-06-05得票数 5
回答已采纳
因为在编译过程中有效地删除了newtype，所以它们没有块，只有值。那么，如果我使用请求它的WHNF，会发生什么呢？例如，在
Sum (lengthyComputation :: Int) `using` rseq
其中被定义为
newtype Sum a = Sum { getSum :: a }
lengthyComputation会不会被评估？它是否被指定/记录在某个地方，以便我可以依赖它？
更新：让我更详细地解释我的疑虑。直觉上，有人说："newtype很严格，它的WHNF是包裹在里面的东西的WHNF“。但我觉得这是一条非常不精确的捷径，道理也不太清楚。让我举一个例子：
对于
浏览 4提问于2012-12-02得票数 8
回答已采纳
我对Groovy脚本非常陌生。我正在试着理解一个脚本，我来了一个十字架，谁能解释一下，这些步骤是干什么的？我对里面的==~操作符很困惑。我知道~是负面的，但在这种情况下意味着什么呢？
def matchRegExList = { str, regExList ->
matched = false
regExList.each { regEx ->
if (str ==~ /$regEx/) {
matched = true
}
}
match_str = matched ? 'matched' : 'did not
浏览 1提问于2015-09-02得票数 1
回答已采纳
我对bash很陌生，我正在尝试执行以下操作--使用select命令在用户提供的参数选项中进行选择。这是我的密码：
PS3="Select an option: "
select arg in $@; do
if [[ "$REPLY" -le "$#" && "$REPLY" == ^[0-9]+$ ]]; then
echo "You picked $arg ($REPLY)."
else
echo "Invalid option."
浏览 0提问于2020-11-17得票数 1
回答已采纳
在此代码中：
class iop {
public:
iop(int y) {
printf("OK\n");
}
iop() {
printf("NO\n");
}
};
int main()
{
line 1- iop o;
line 2- o = 8;
line 3- return 0;
}
我对这个C++代码的工作方式的结论是：
使用默认的无参数构造函数创建iop类对象
浏览 10提问于2021-12-06得票数 2
回答已采纳
1回答
这是行之有效的：
SELECT * FROM table WHERE name LIKE '%ab_cd%'
如何在一个/多个语句中包含'%ef_gh%'？
我的尝试：
SELECT * FROM table WHERE name LIKE IN ('%ab_cd_%', '%ef_gh%')
浏览 1提问于2021-03-31得票数 1
模式匹配很奇怪。它涉及到一个看似简单的数学问题，即为一个事物找到一个表示。
例如，对于给定的整数b，每个整数a都可以以a= bq + r的形式表示，0 <= r<b是唯一的。要找到Q和r，需要使用除法算法。关键词是“算法”
所以，当您在Haskell中执行模式匹配表达式时，比如将一个元组表示为(a，b)，是否有一个算法在幕后运行？
算法必须总是简单的，即O(1)，还是至少在某个地方有文档记录？
如何保证对表示法的唯一提升？
浏览 0提问于2015-02-23得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
