cppBeginner's questions

MCVE神栓链接

我有一个概念Trait_AActuallyBTemplate<A,B>来检查是否A= B<...something...>。
它有效。

如何创建一个新概念来检查是否A继承B<...something...>？

#include <vector>
#include <iostream>
namespace hid{
    template <typename T,template<typename... Ty> typename B>
    struct is_mytype : std::false_type { };

    template <typename... A,template<typename... Ty> typename B>
    struct is_mytype<B<A...> ,B> : std::true_type { };

};

template <typename T,template<typename... Ty> typename B>
concept Trait_AActuallyBTemplate = hid::is_mytype<T,B>::value;

//vvv please modify here
template <typename T,template<typename... Ty> typename B>
concept Trait_AInheritFromBTemplate = hid::is_mytype<T,B>::value; 
//^^^ please modify here

int main() {
    static_assert(Trait_AActuallyBTemplate<std::vector<int>,std::vector>,"hehe1");
    static_assert(!Trait_AActuallyBTemplate<int,std::vector>,"hehe2");
    struct MyVector : public std::vector<int> {};
    static_assert(Trait_AInheritFromBTemplate<MyVector,std::vector>,"hehe3"); 
    //^^^ Assert fail only here. (It should pass)  I am sad.
}

问题

我有S<?,?,?,?>一个模板类。
根据设计，函数f()始终接受类型的参数S<?,?,?,?>*。

下面的代码运行良好，但我失去了内容辅助的生活质量。

template<
     class Src_Param
    ,class Dst_Param
    ,int X1_Param
    ,int X2_Param
>class S{public:
    using Src=Src_Param;
    using Dst=Dst_Param;
    static constexpr int X1=X1_Param;
    static constexpr int X2=X2_Param;
};
template<class S_Something> static void f(S_Something* s){
    s->                  ///<== test 1
}

按下->或时ctrl+enter，这是我从 IDE 获得的帮助。
它很悲伤，很空洞。::-

我糟糕的解决方法

我创建了一个名为 的化妆品别名Self。

新的别名很简单。
在每个用例中，Self<T> = T，并且T这里始终是S<....something....>（根据设计）。

template<class Param> using Self
     =S<typename Param::Src,typename Param::Dst,Param::X1,Param::X2>;  
template<class S_Something> static void f(S_Something* s){
    using S2=Self<S_Something>;
    S2* s2=s;
    s2->                 ///<== test 2
    S2::                 ///<== test 3
}

现在，我又找回了可爱的内容辅助 (intellisense)。它起作用了。

这是 test2 的结果。

这是 test3 的结果。

^^ 它很实用而且很漂亮。

问题

不幸的是，我的新Self别名降低了可维护性。

如果我需要添加更多模板参数S::X3_Param，那么Self也必须更新。

有没有办法提示内容辅助（最好使用适当的语法），S_Something 里面f()总是S<...something...>，而不会牺牲性能？

我正在使用 Visual Studio，但我更喜欢不依赖于 IDE 的解决方案。