次のC ++ 20コード（現在のGCC10でビルド）を使用していくつかのテストを行っていました。
template <typename ToT, typename FromT>
ToT myfunction(const FromT& pFrom) = delete;
template <typename ToT, typename FromT>
struct myclass
{
inline ToT myclassmethod(const FromT& pFrom)
{
return myfunction<ToT, FromT>(pFrom);
}
};
/* C++20 concepts code */
template <std::same_as<std::string> ToT, std::integral FromT>
inline ToT myfunction(const FromT& pFrom)
{
return std::to_string(pFrom);
}
template <std::same_as<std::string> ToT, std::floating_point FromT>
inline ToT myfunction(const FromT& pFrom)
{
return std::to_string(pFrom);
}
/* Alternative conventional code
template <>
inline std::string myfunction(const int& pFrom)
{
return std::to_string(pFrom);
}
template <>
inline std::string myfunction(const double& pFrom)
{
return std::to_string(pFrom);
}
*/
int main(int pArgc, char* pArgv[]) noexcept
{
std::cout << myclass<std::string, int>().myclassmethod(10);
std::cout << myclass<std::string, double>().myclassmethod(0.666);
return 0;
}
従来のコードを使用すると、すべてが正常にコンパイルされます。スペシャライゼーションは必要に応じて使用されます。代わりにC ++ 20コードを使用すると、「削除された関数の使用」というエラーが発生します。
C ++ 20の概念の特殊化は、従来の特殊化と同じように機能することを期待していましたが、明らかに、そのような特殊化を個別に定義することを不可能にする違いがあります（関連する質問テンプレート関数の特殊化を使用する場合のモジュールの依存関係を参照）。
これはC ++ 20で望ましい動作ですか？C ++ 20で、概念関数テンプレートを個別にカスタマイズする方法はありますか（つまり、呼び出す前に宣言や定義なしで特殊化を定義する）？
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加