如何编译满足BigStruct存在才启用f函数的C++代码？

尝试实现仅当模板参数类型中存在BigStruct类型时，才启用类模板B的成员函数f，但当前代码无法通过编译。

原代码 #

#include <type_traits>
struct A {
    using BigStruct = int;
}; 

struct C {
};

template <typename T>
struct B {
    void f(typename T::BigStruct t) requires requires {T::BigStruct;} {}
};

int main() {
  B<A> b1;
  B<C> b2;
}

报错信息 #

<source>:11:24: error: no type named 'BigStruct' in 'C'
    void f(typename T::BigStruct t) requires requires {T::BigStruct;} {}
           ~~~~~~~~~~~~^~~~~~~~~
<source>:16:8: note: in instantiation of template class 'B<C>' requested here
  B<C> b2;
       ^
1 error generated.
ASM generation compiler returned: 1
<source>:11:24: error: no type named 'BigStruct' in 'C'
    void f(typename T::BigStruct t) requires requires {T::BigStruct;} {}
           ~~~~~~~~~~~~^~~~~~~~~
<source>:16:8: note: in instantiation of template class 'B<C>' requested here
  B<C> b2;
       ^
1 error generated.
Execution build compiler returned: 1

原因分析 #

编译器解析函数签名的顺序是先处理参数列表，再检查requires约束。当实例化B<C>时，编译器会先尝试解析typename T::BigStruct作为参数类型，此时C没有该成员类型，直接触发编译错误，根本没走到requires子句的检查步骤。

解决方案 #

方案一：将成员函数改为模板函数，延迟类型解析 #

#include <type_traits>
struct A {
    using BigStruct = int;
}; 

struct C {
};

template <typename T>
struct B {
    template <typename U = T>
    void f(typename U::BigStruct t) requires requires {typename U::BigStruct;} {}
};

int main() {
  B<A> b1;
  b1.f(1); // 正常调用
  B<C> b2;
  // b2.f(1); // 尝试调用会触发编译错误，符合预期
}

通过把成员函数改为模板，U::BigStruct的解析会延迟到函数被调用时才进行，此时requires约束会先生效，阻止无效的函数实例化。

方案二：显式定义概念约束类型 #

#include <type_traits>

// 定义概念：检查类型是否包含BigStruct成员类型
template <typename T>
concept has_BigStruct = requires { typename T::BigStruct; };

struct A {
    using BigStruct = int;
}; 

struct C {
};

template <typename T>
struct B {
    void f(typename T::BigStruct t) requires has_BigStruct<T> {}
};

int main() {
  B<A> b1;
  b1.f(1); // 正常调用
  B<C> b2;
  // b2.f(1); // 尝试调用会触发编译错误，符合预期
}

先定义明确的has_BigStruct概念，约束直接作用于函数的启用条件，编译器会在解析函数参数前先检查约束，不符合的情况下会自动忽略该函数，避免无效的类型解析。

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