無効な式が使用された場合、コンセプトをコンパイルできないのでしょうか？

Question

コンパイル時に空き関数が利用可能かどうかを検出するコンパクトな方法を実装しようとしています（例としてstd::maxを使用しています）。私がコメントアウトした場合（in Compiler Explorerを参照）（1）、検出が動作し、私のコードは、constexprの他の枝を使用しています

#include <stdio.h> 
#include <algorithm>   // (1) 

namespace std { struct max; } // (2) 

template<typename A> 
concept bool have_std_max = requires(A const& a1, A const& a2) { 
    { std::max(a1, a2) } 
}; 

template <typename A> 
constexpr A const &my_max(A const &a1, A const &a2) { 
    if constexpr(have_std_max<A>) { 
    return std::max(a1, a2); 
    } 
    else { 
    return (a1 > a2) ? a1 : a2; 
    } 
} 

int main() { 
    int x = 5, y = 6; 
    return my_max(x, y); 
} 

：私はこれを思い付きました。ただし、（1）と（2）の両方をコメントアウトすると、std::maxという名前はコンパイラには不明なので、このコードはコンパイルできません。この場合、コンセプトは単にfalseを返してはいけませんか？ダミーを宣言することなく、同様のものを実装する方法はありますかmax？

Answer 1

C++のテンプレートシステムは、間違ったコードを書くことを決して許すものではありません。テンプレートは、いわゆる依存型のタイプと式にのみ余裕を提供します。 （in this answerより深く研究されている長いトピック）。std::maxという形式の修飾名は、何も依存しないので、はでなければなりません。つまり、ルックアップは成功する必要があります。

max宣言を追加しようとすると、正しい軌道に乗っていました。これにより、依存しない修飾名は常に正常に宣言を検出します。一方、全体的な表現は（a0およびa1を含むことにより）依然として依存している。

#include <algorithm> 

namespace dirty_tricks { 

namespace max_fallback { 

// non-deducible on purpose 
template<typename Dummy> 
void max() = delete; 

} // max_fallback 

namespace lookup { 

// order of directives is not significant 
using namespace std; 
using namespace max_fallback; 

} // lookup 

} // dirty_tricks 

template<typename Val> 
concept bool have_std_max = requires(Val arg) { 
    // N.B. qualified call to avoid ADL 
    dirty_tricks::lookup::max(arg, arg); 
}; 

（<algorithm>がstd名前空間がまだ宣言されていることを確認してください含ま除去することにより、コードをテストするか、usingディレクティブを：残っているのは、私たちがすることはできませんstd名前空間を、汚染を避けるためにありますこのColiru demoに見られるように失敗することがあります。）

を今すぐdirty_tricks::lookup::maxのみstd::maxとdirty_tricks::max_fallback::maxまたは後者の両方を発見し、それが失敗することはできませんどちらか。私たちはまた、私たち自身のmax過負荷がそれを削除することによって有効な表現になることができないことを確かめます（そうしないと、有効な呼び出しはまったく異なって見えます）。