find_if、for_each、countなどにstd ::が不要な理由はありますか？

Question

標準のalgorithmヘッダーのいくつかのアルゴリズムはstd::を必要としないという事実を知りました。

例：

#include <vector> 
#include <algorithm> 

int main() { 
    std::vector<int> m; 
    count(m.begin(), m.end(), 0); 
    count_if(m.begin(), m.end(), [](auto){return true;}); 
    for_each(m.begin(), m.end(), [](auto){}); 
    find_if(m.begin(), m.end(), [](auto){return true;}); 
} 

Live demo at coliru

は、そのための具体的な理由はありますか？ g++とclang++はどちらも上記のコードを受け入れます。

Answer 1

ここでは2つのことが起こっています。

最初はADLまたはArgument Dependent Name Lookupです。

機能はADLを介して検出されています。これは、いくつかの引数（vectorのタイプiteratorのタイプ）がstdにあるため、オーバーロードの解像度がfor_eachの場合、通常の名前空間（この場合はroot）のセットとその引数の名前空間。

トリックはvector::iteratorですはnamespace stdのタイプであることが保証されていません。したがって、あなたのコードは動作保証されていません。 はstdの型であるか、未加工のポインタであるか、namespace __std__utility_typesなどの型である可能性があります。

すべての主要なコンパイラライブラリでは、ポインタはポインタではなく、vectorイテレータはありません。これは、代替として悪いと見なされるため、namespace stdにあります。しかし、保証の欠如は、本当に移植可能なコードではそれに頼るべきではないということです。