为何Applicative概念未判定为true？C++代码疑问

1. 为何Applicative<Maybe, int>判定为false？ #

你遇到的核心问题大概率是概念约束中对pure函数的查找规则或类型推导匹配问题，常见原因包括：

• ADL（依赖参数查找）失效：如果pure函数定义在Maybe所在的命名空间外，概念中调用pure(a)时，参数a的类型是int（并非Maybe的关联类型），编译器不会通过ADL去Maybe的命名空间查找pure。此时即便直接调用pure(3)能正常工作，概念检查也可能无法正确关联到你的pure实现。
• std::same_as的严格匹配要求：std::same_as要求两个类型完全一致（包括cv限定符、引用等）。如果pure返回Maybe<A>&或const Maybe<A>，而概念期望的是F<A>（即Maybe<A>），会直接导致匹配失败。
• 概念模板参数的定义问题：如果Applicative概念对F的约束是template<typename> typename F，但Maybe的模板定义存在差异（比如带默认模板参数），也可能引发推导不匹配。

以下是能通过检查的正确实现示例，确保pure与Maybe在同一命名空间且类型严格匹配：

#include <concepts>
#include <utility>

namespace fp {
    template<typename T>
    struct Maybe {
        T value;
        explicit Maybe(T v) : value(std::move(v)) {}
    };

    template<typename A>
    Maybe<A> pure(A a) {
        return Maybe<A>(std::move(a));
    }
}

template<template<typename> typename F, typename A>
concept Applicative = requires(A a) {
    { fp::pure(a) } -> std::same_as<F<A>>;
};

// 测试：此时会通过编译
static_assert(Applicative<fp::Maybe, int>);

2. GCC版本差异的原因 #

将约束改为{ pure<A>(a) } -> std::same_as<F<A>>后，GCC 10.4通过但13.2不通过，这不是旧版GCC的bug，反而体现了新版GCC对标准的严格遵循：

C++20概念的表达式约束中，显式指定模板参数的调用（如pure<A>(a)）需要确保pure是可显式指定A作为模板参数的函数模板。如果pure的模板参数推导规则与显式指定的参数存在冲突（比如显式指定A后，参数a的类型与模板参数A无法严格匹配），新版GCC会严格检查这种匹配的合法性。

而GCC 10.x对C++20概念的实现存在不完善之处，部分不符合标准的代码可能被误判为合法；GCC 13.x则更贴近标准，会严格校验表达式约束的每一个细节，包括显式模板参数调用的类型一致性、函数查找的正确性等。

要解决版本兼容问题，建议统一使用依赖参数推导的调用方式，同时确保pure函数的命名空间和查找规则正确，避免显式指定模板参数带来的兼容性问题。

内容的提问来源于stack exchange，提问作者Johan