这就是特质被发明的根本原因：允许扩展那些 * 不能 * 使用ADL来扩展其功能的类型。概念不会改变这些规则。
如果你不能在概念之前声明这些函数，那么你就必须使用某种trait，默认trait可以调用自由函数（并使用一个概念来确保自由函数可用），而专门化版本可以调用任何它们想要的函数。
话虽如此，你的问题的起源已经......令人怀疑了。看，unsigned long并不属于你;它属于系统，* 任何人 * 都可以在任何时候，出于任何原因使用该类型，这意味着，只要某人可以访问MyConcept，他们就可以询问MyConcept<unsigned long>是否为真，而答案必须基于询问问题时可用的任何声明。
因此，如果用户同时可以访问MyConcept * 和 * unsigned long，那么在您没有为unsigned long提供专门接口的情况下，用户能够提出这个问题是非常 * 危险 * 的。
因为如果他们问这个问题而没有包含接口的声明，他们会得到错误的答案。如果你做了任何事情导致MyConcept<T>给予不同的答案，你的代码就是格式错误的（不需要诊断），就像违反了一个定义规则一样。
你的代码应该让它“不可能”做到这一点。对于你定义的类型，这很容易：在每个定义之后，你都要包含MyConcept要寻找的接口，但是正如前面所说的，unsigned long并不属于你;任何人都可以在任何时候使用它。因此，定义MyConcept的同一个文件应该 * 也 * 定义MyConcept依赖的任何默认功能。就像unsigned long版本一样。

C找不到标识符“my_free_function”（有或没有概念）。
对于C-模板，应用Two-Phase-Lookup（即名称被查找两次）：
1.在解析模板期间
1.在模板的示例化期间（在示例化点;兴趣点）

namespace {

    // Parsing
    // Look-up for non-dependent names:
    //  - not applicable for my_free_function
    // Ordinary Look-up for unqualified, dependent names:
    //  - my_free_function is unqualified, dependent (because of T& a as argument) name; not found with ordinary name look-up (result not definite)
    template<typename T>
    auto algo(T& a) {
        return my_free_function(a);
    }

    unsigned long my_free_function(unsigned long) { return 42; }
    std::string my_free_function(std::string) { return "42"; }

    namespace baz {
        struct bar {};
        bar my_free_function(bar) { return bar{}; }
    }; // baz

}

int main() {

    auto a = baz::bar{};
    algo(a);

    unsigned long b = 123ul;
    algo(b); // ERROR: 'my_free_function' identifier not found

    return 0;
}

/*
* POI for algo<baz::bar>(b)
*
* Instantiation:
*   baz::bar algo(baz::bar& b) {
*       return my_free_function(b);
*   }
*
* ADL for unqualified, dependent names:
*   - applicable for: my_free_function(b) (b has type baz::bar&)
*   -> does find baz::my_free_function
*
*/

/*
* POI for: algo<unsigned long>(b)
*
* Instantiation:
*   unsigned long algo(unsigned long& b) {
*       return my_free_function(b);
*   }
*
* Look-ups for qualified, dependent names:
*   - not applicable for: my_free_function(b) (b has type unsigned long)
* ADL for unqualified, dependent names (already looked up when parsing but were not found):
*   - not applicable for: my_free_function(b) (b has type unsigned long)
*
* -> my_free_function was not found!
*/

NativeU64的情况类似于unsigned long的情况。using NativeU64 = unsigned long;不引入新类型;是一米三四的。
当你在模板之前声明函数时，在解析模板时会发现它。另一个解决方案是使用：

auto algo(unsigned long a) {
    return my_free_function(a);
}

在声明my_free_function(unsigned int)之后，因此模板永远不会用于unsigned long。
请参见“C++模板：完整指南，第2版“，特别是”14.3.1两相查找表“一章。