爲什麼`$ str1 =〜「foo」`識別爲`$ str1 =〜m/foo /`（而不是語法錯誤）？

Question

我最近看到一些不熟悉Perl的人的代碼。 他想比較兩個字符串是否相等，但不知道 的eq運營商，所以他用=~這樣的：

另一個片段被

if ($str1 =~ "foo") { 
    print "string equals 'foo'\n"; 
} 

當然應該簡單地讀$str1 eq $str2和$str1 eq "foo"，以避免誤報。

我通過Deparse運行的代碼，它說一切正常：

$ perl -MO=Deparse -e 'use strict; 
         use warnings; 
         my $str1="foobar"; 
         my $str2="bar"; 
         $str1 =~ $str2; 
         $str1 =~ "bar";' 
use warnings; 
use strict; 
my $str1 = 'foobar'; 
my $str2 = 'bar'; 
$str1 =~ /$str2/; 
$str1 =~ /bar/; 
-e syntax OK 

我通過docs看，但是從我的理解 情況如下：

• 一般語法是m/pattern/。
• 要麼使用m和你的選擇，而不是/的分隔符（但要知道，'和?有特殊意義）
• 或者離開關m但隨後的分隔符必須是/。

但顯然的Perl理解$str1 =~ "foo"作爲$str1 =~ m/foo/雖然沒有m存在。這是爲什麼？我希望這是一個語法錯誤。

Answer 1

我以爲是一個語法錯誤。

引用在perlop=~文檔，

如果右邊的參數是一個表達式，而不是一個搜索模式，置換或音譯，它被解釋爲在運行時搜索模式。

---

但顯然的Perl理解$str1 =~ "foo"作爲$str1 =~ m/foo/雖然沒有m存在。這是爲什麼？

爲什麼不呢？如果在RHS上沒有匹配，替換或音譯運算符，我想不出有沒有=~意味着匹配運算符的原因。我會用

$s =~ /foo/ 

在

$s =~ "foo" 

，但我已經使用

$s =~ $re 

尤其當$re值是qr//編譯的模式。

Answer 2

=~運算符期望標量表達式不在左邊，模式匹配在右邊。 From the documentation：

二進制「=〜」將標量表達式綁定到模式匹配。某些操作默認搜索或修改字符串$ _。這個操作符使這種操作在其他一些字符串上工作。正確的參數是搜索模式，替換或音譯。左邊的參數是應該搜索，替換或音譯的內容，而不是默認的$ _。
...
如果正確的參數是一個表達式而不是搜索模式，替換或音譯，則在運行時將其解釋爲搜索模式。

對右側的實際解釋可能會...非常棘手。詳細信息可以在Perl文檔的"Gory Details of Parsing Quoted Constructs"可以發現，總結其中的是：

當的東西，可能有幾種不同的解釋提出，Perl使用DWIM（這就是「做我的意思」）的原則挑選最可能的解釋。這個策略非常成功，Perl程序員經常不會懷疑他們寫的東西是否有矛盾。但是有時候，Perl的概念與作者的真正含義差別很大。
...
最重要的Perl解析規則是下面討論的第一個：在處理帶引號的構造時，Perl首先找到該構造的結尾，然後解釋其內容。如果你理解這個規則，你可以在第一次閱讀時跳過本節的其餘部分。其他規則可能會比第一條規定更不經常地與用戶的期望相抵觸。