{"id":45152,"date":"2023-03-10T06:13:43","date_gmt":"2024-01-31T19:50:23","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/"},"modified":"2024-04-29T18:11:37","modified_gmt":"2024-04-29T10:11:37","slug":"45152-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/","title":{"rendered":""},"content":{"rendered":"<h2>\u3053\u306e\u8a18\u4e8b\u3067\u6271\u3046\u3053\u3068<\/h2>\n<p>Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u304c\u3042\u308a\u307e\u305b\u3093\u3002\uff08\u6f14\u7b97\u5b50\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306f\u3042\u308a\u307e\u3059\u3002\uff09<br \/>\nC++\u306a\u3069\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u4f7f\u3044\u307e\u304f\u3063\u3066\u3044\u305f\u4eba\u304cRust\u3092\u4f7f\u3044\u59cb\u3081\u308b\u5834\u5408\u3001\u3069\u3046\u3059\u308c\u3070\u3044\u3044\u3067\u3057\u3087\u3046\u304b\uff1f<\/p>\n<h2>\u7d50\u8ad6\u304b\u3089\u5148\u306b\u66f8\u304f\u3068<\/h2>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u9811\u5f35\u308c\u3070\uff08\u30c8\u30ec\u30a4\u30c8\u3092\u6d3b\u7528\u3059\u308b\u3068\uff09Rust\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u5b9f\u8cea\u7684\u306b\u518d\u73fe\u3059\u308b\u3053\u3068\u306f\u3042\u308b\u7a0b\u5ea6\u53ef\u80fd<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u8a18\u6cd5\u81ea\u4f53\u3092\u518d\u73fe\u3057\u3066\u304f\u308c\u308b\u30af\u30ec\u30fc\u30c8\u3082\u5b58\u5728\u3059\u308b\uff08\u304c\u3001\u7121\u7406\u3084\u308a\u306a\u306e\u3067\u975e\u63a8\u5968\uff09<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u305d\u3082\u305d\u3082Rust\u3067\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3067\u306f\u306a\u304f\u30c8\u30ec\u30a4\u30c8\u3092\u6d3b\u7528\u3059\u308b\u3053\u3068\u304c\u60f3\u5b9a\u3055\u308c\u3066\u3044\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">Rust\u306b\u306f\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\u304c\u7121\u3044\u306e\u3067\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\u306e\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3082\u7121\u304f\u3001\u95a2\u6570\u540d\u3092\u66f8\u304d\u5206\u3051\u308b\u3053\u3068\u304c\u63a8\u5968\u3055\u308c\u3066\u3044\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">C++\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u95a2\u6570\u306b\u304a\u3051\u308b\u7279\u6b8a\u5316\u3068\u540c\u7b49\u306e\u6a5f\u80fd\u306fRust\u306e\u30c8\u30ec\u30a4\u30c8\u3067\u306f\u767a\u5c55\u9014\u4e0a\uff08nightly\u3067\u4e00\u90e8\u30b5\u30dd\u30fc\u30c8\uff09<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">C++\u306eSFINAE\u3084C++20\u306e\u30b3\u30f3\u30bb\u30d7\u30c8 (concepts)\u306e\u67d4\u8edf\u6027\u3068\u6bd4\u3079\u308b\u3068Rust\u306e\u30c8\u30ec\u30a4\u30c8\u306f\u7aae\u5c48<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">C++\u306evariadic templates\u306e\u3088\u3046\u306a\u53ef\u5909\u9577\u5f15\u6570\u95a2\u6570\u306e\u6a5f\u80fd\u3082Rust\u306b\u306f\u306a\u3044<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\u7dcf\u3058\u3066\u8a00\u3048\u3070Rust\u306b\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u304c\u7121\u3044\u3053\u3068\u306f\uff08\u591a\u304f\u306e\u30e6\u30fc\u30b6\u30fc\u306b\u3068\u3063\u3066\uff09\u6c17\u306b\u306a\u308b\u30ec\u30d9\u30eb\u3067\u306f\u306a\u3044<\/ul>\n<h2>Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u304c\u7121\u3044<\/h2>\n<p>Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u304c\u7121\u3044\u306e\u3067\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"void!!\"<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"n\">n<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"i32!!\"<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n<span class=\"c\">\/\/ \u2191 2\u3064\u76ee\u306efoo\u3092\u5b9a\u7fa9\u3059\u308b\u3068\u30a8\u30e9\u30fc\u306b\u306a\u308b\uff01\uff01<\/span>\r\n<span class=\"c\">\/\/ error[E0428]: the name `foo` is defined multiple times<\/span>\r\n<\/code><\/pre>\n<h2>Rust\u306e\u30c8\u30ec\u30a4\u30c8\u306f\u9ad8\u6a5f\u80fd<\/h2>\n<p>Rust\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3067\u306f\u30c8\u30ec\u30a4\u30c8\u306b\u3064\u3044\u3066\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u304b\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<blockquote><p>\u9055\u3044\u306f\u3042\u308b\u3082\u306e\u306e\u3001\u30c8\u30ec\u30a4\u30c8\u306f\u4ed6\u306e\u8a00\u8a9e\u3067\u3088\u304f\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3068\u547c\u3070\u308c\u308b\u6a5f\u80fd\u306b\u985e\u4f3c\u3057\u3066\u3044\u307e\u3059\u3002<\/p><\/blockquote>\n<p>\u78ba\u304b\u306b\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u3068\u3057\u3066\u306e\u6a5f\u80fd\u304c\u30e1\u30a4\u30f3\u306a\u306e\u3067\u3059\u304c\u3001\u5b9f\u969b\u306b\u306f\u3082\u3063\u3068\u9ad8\u6a5f\u80fd\u3067\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5916\u90e8\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\u578b\u3084\u30d7\u30ea\u30df\u30c6\u30a3\u30d6\u578b\u3001\u30bf\u30d7\u30eb\u578b\u306b\u5bfe\u3057\u3066\u3082\u65b0\u305f\u306b\u30e1\u30bd\u30c3\u30c9\u3092\u751f\u3084\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">trait<\/span> <span class=\"n\">Foo<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"vector!!!\"<\/span><span class=\"p\">)<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"nb\">i32<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"int!!!\"<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"p\">(<\/span><span class=\"nb\">i32<\/span><span class=\"p\">,<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"tuple!!!\"<\/span><span class=\"p\">)<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">v<\/span> <span class=\"o\">=<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">1<\/span><span class=\"p\">,<\/span> <span class=\"mi\">2<\/span><span class=\"p\">,<\/span> <span class=\"mi\">3<\/span><span class=\"p\">];<\/span>\r\n    <span class=\"n\">v<\/span><span class=\"nf\">.foo<\/span><span class=\"p\">();<\/span> <span class=\"c\">\/\/ vector!!!<\/span>\r\n    <span class=\"mi\">1<\/span><span class=\"nf\">.foo<\/span><span class=\"p\">();<\/span> <span class=\"c\">\/\/ int!!!<\/span>\r\n    <span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">,<\/span> <span class=\"mi\">2<\/span><span class=\"p\">)<\/span><span class=\"nf\">.foo<\/span><span class=\"p\">();<\/span> <span class=\"c\">\/\/ tuple!!!<\/span>\r\n<\/code><\/pre>\n<p>\u3082\u3057\u3042\u306a\u305f\u304cRust\u521d\u5b66\u8005\u306a\u3089\u3053\u306e\u30b3\u30fc\u30c9\u306b\u9a5a\u304d\u307e\u305b\u3093\u304b\uff1f\u81ea\u5206\u306f\u6700\u521d\u3053\u308c\u3092\u77e5\u3063\u305f\u3068\u304d\u9a5a\u304d\u307e\u3057\u305f\u3002<br \/>\n\uff08\u3053\u3093\u306a\u52dd\u624b\u306b\u30e1\u30bd\u30c3\u30c9\u3092\u751f\u3084\u305b\u308b\u306e\u306f\u5371\u967a\u3060\u3068\u601d\u308f\u308c\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u5f71\u97ff\u306f\u81ea\u5206\u304c\u66f8\u3044\u3066\u3044\u308b\u30af\u30ec\u30fc\u30c8\u5185\u306b\u9650\u5b9a\u3055\u308c\u308b\u306e\u3067\u5b89\u5168\u3067\u3059\u3002\uff09<br \/>\n\u305d\u3057\u3066\u4e0a\u8a18\u306e\u30b3\u30fc\u30c9\u306bFoo\u30c8\u30ec\u30a4\u30c8\u3092\u5f15\u6570\u306b\u6301\u3064\u95a2\u6570foo\u306e\u5b9a\u7fa9\u3092\u8ffd\u52a0\u3059\u308b\u3068\u3001\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\uff08\u307d\u3044\u3082\u306e\uff09\u3092\u4f5c\u308c\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">fn<\/span> <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"n\">f<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">impl<\/span> <span class=\"n\">Foo<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">f<\/span><span class=\"nf\">.foo<\/span><span class=\"p\">();<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">v<\/span> <span class=\"o\">=<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">1<\/span><span class=\"p\">,<\/span> <span class=\"mi\">2<\/span><span class=\"p\">,<\/span> <span class=\"mi\">3<\/span><span class=\"p\">];<\/span>\r\n    <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"n\">v<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ vector!!!<\/span>\r\n    <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ int!!!<\/span>\r\n    <span class=\"nf\">foo<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">,<\/span> <span class=\"mi\">2<\/span><span class=\"p\">));<\/span> <span class=\"c\">\/\/ tuple!!!<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3082\u3061\u308d\u3093\u3053\u308c\u306f\u30c8\u30ec\u30a4\u30c8\u306b\u3088\u3063\u3066\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u306e\u5b9f\u88c5\u3092\u305d\u308c\u305e\u308c\u306e\u578b\u306b\u4ed8\u4e0e\u3057\u3066\u3044\u308b\u308f\u3051\u3067\uff08\u5f15\u6570\u306e\u6570\u306e\u9055\u3044\u3082\u30bf\u30d7\u30eb\u578b\u3067\u8868\u73fe\u3057\u3066\u3044\u308b\u3060\u3051\u3067\u3059\u3057\u5f15\u65700\u500b\u306efoo\u306f\u5b9a\u7fa9\u3067\u304d\u306a\u3044\u306e\u3067\uff09\u3001\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3068\u3044\u3046\u3088\u308a\u9759\u7684\u30dd\u30ea\u30e2\u30fc\u30d5\u30a3\u30ba\u30e0\uff08\u9759\u7684\u30c7\u30a3\u30b9\u30d1\u30c3\u30c1\uff09\u3068\u3044\u3063\u305f\u65b9\u304c\u6b63\u3057\u3044\u3068\u601d\u3044\u307e\u3059\u304c\u3001\u3068\u3082\u304b\u304f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3067\u5b9f\u73fe\u3057\u305f\u304b\u3063\u305f\u3053\u3068\u306f\u305d\u308c\u306a\u308a\u306b\u518d\u73fe\u3067\u304d\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002<br \/>\nC++\u3084Java\u3067\u306f\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u3067\u3053\u306e\u3088\u3046\u306a\u82b8\u5f53\u304c\u3067\u304d\u306a\u3044\u306e\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306b\u4fa1\u5024\u304c\u3042\u308b\u3068\u601d\u3044\u307e\u3059\u304c\u3001Rust\u306f\u3053\u306e\u3088\u3046\u306b\u9ad8\u6a5f\u80fd\u306a\u30c8\u30ec\u30a4\u30c8\u304c\u3042\u308b\u306e\u3067\u3001Rust\u306b\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306f\u4e0d\u8981\u3067\u3042\u308b\u3068\u3044\u3046\u8003\u3048\u65b9\u306b\u306f\u7406\u304c\u3042\u308b\u3068\u601d\u3044\u307e\u3059\u3002\uff08\u306a\u306e\u3067\u3001Rust\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306b\u3053\u3060\u308f\u308a\u7d9a\u3051\u3066\u3044\u308b\u4eba\u306f\u5c11\u306a\u3044\u3088\u3046\u306b\u898b\u3048\u307e\u3059\u3002\uff09<\/p>\n<p>\u3057\u304b\u3057\u3053\u3053\u3067\u3001C++\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u30e1\u30bf\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u6d3b\u7528\u3057\u305f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u4f7f\u3063\u3066\u3044\u305f\u4eba\u306b\u3068\u3063\u3066\u306f\u3001\u30b8\u30a7\u30cd\u30ea\u30af\u30b9\u3092\u4f7f\u3063\u305f\u30c8\u30ec\u30a4\u30c8\u3067\u3069\u308c\u3060\u3051\u540c\u7b49\u306e\u6a5f\u80fd\u3092\u5b9f\u73fe\u3067\u304d\u308b\u306e\u304b\uff1f\u3068\u3044\u3046\u7591\u554f\u304c\u751f\u3058\u308b\u3068\u601d\u3044\u307e\u3059\u3002<br \/>\n\u305d\u3053\u3067\u6b21\u306e\u7bc0\u306b\u884c\u304d\u307e\u3059\u3002<\/p>\n<h2>Rust\u3067\u306fC++\u30ec\u30d9\u30eb\u306e\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u3069\u3053\u307e\u3067\u518d\u73fe\u3067\u304d\u308b\u306e\u304b\uff1f<\/h2>\n<p>Rust\u306e\u8a71\u306b\u5165\u308b\u524d\u306b\u3001\u305d\u3082\u305d\u3082C++\u3067\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u3069\u306e\u3088\u3046\u306b\u6d3b\u7528\u3067\u304d\u308b\u306e\u304b\u306b\u89e6\u308c\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h4>C++\u306e\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3067\u306f\u3069\u3093\u306a\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u304b<\/h4>\n<p>\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u3067\u306f\u3001string\u3084vector\u3001map\u3001unordered_map\u3001set\u3001\u307e\u305f\u306f\u305d\u308c\u3089\u306e\u4efb\u610f\u306e\u5165\u308c\u5b50\u69cb\u9020\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306e\u5024\u3067\u3042\u308bstring\u4e2d\u306e\u6587\u5b57\u3092\u5168\u3066&#8221;*&#8221;\u306b\u7f6e\u304d\u63db\u3048\u308b\u95a2\u6570mask\u3092\u5b9a\u7fa9\u3057\u3066\u3044\u307e\u3059\u3002<br \/>\n\u3053\u308c\u3089\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306b\u3001\u30a4\u30c6\u30ec\u30fc\u30bf\u3092\u6301\u3064\u30af\u30e9\u30b9\u3092\u8868\u73fe\u3059\u308biterable\u3068\u3001\u6587\u5b57\u5217\u3067\u3042\u308bstring\u3001\u305d\u308c\u304b\u3089map\u306e\u8981\u7d20\u3067\u3042\u308bpair\u3092\u5f15\u6570\u306b\u53d6\u308b\u8907\u6570\u306emask\u95a2\u6570\u3092\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3057\u3066\u3044\u307e\u3059\u3002<br \/>\n\u30dd\u30a4\u30f3\u30c8\u306fvector\u3084map\u306e\u5165\u308c\u5b50\u69cb\u9020\u306b\u5bfe\u5fdc\u3059\u308b\u305f\u3081\u5404\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u95a2\u6570\u304b\u3089\u3055\u3089\u306b\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u95a2\u6570\u3092\u518d\u5e30\u7684\u306b\u547c\u3073\u51fa\u3057\u3066\u3044\u308b\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u306f\u95a2\u6570\u540d\u304c\u540c\u4e00\u3067\u3042\u308b\u304b\u3089\u3053\u305d\u5b9f\u73fe\u3067\u304d\u308b\u3082\u306e\u3067\u3059\u3002<br \/>\n\u3057\u305f\u304c\u3063\u3066\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3067\u306f\u306a\u304f\u5225\u540d\u306e\u95a2\u6570\u3092\u4f5c\u308b\u3001\u3068\u3044\u3046\u4ee3\u66ff\u624b\u6bb5\u306f\u3053\u306e\u30b1\u30fc\u30b9\u3067\u306f\u63a1\u7528\u3067\u304d\u307e\u305b\u3093\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"cp\">#include &lt;iostream&gt;\r\n#include &lt;utility&gt;\r\n#include &lt;string&gt;\r\n#include &lt;vector&gt;\r\n#include &lt;map&gt;\r\n#include &lt;unordered_map&gt;\r\n#include &lt;set&gt;\r\n#include &lt;algorithm&gt;\r\n<\/span>\r\n<span class=\"k\">template<\/span><span class=\"o\">&lt;<\/span><span class=\"k\">typename<\/span> <span class=\"nc\">T<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"n\">concept<\/span> <span class=\"n\">iterable<\/span> <span class=\"o\">=<\/span> <span class=\"n\">requires<\/span><span class=\"p\">(<\/span><span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">t<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">begin<\/span><span class=\"p\">(<\/span><span class=\"n\">t<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">end<\/span><span class=\"p\">(<\/span><span class=\"n\">t<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">};<\/span>\r\n\r\n<span class=\"k\">template<\/span><span class=\"o\">&lt;<\/span><span class=\"k\">typename<\/span> <span class=\"nc\">T<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"n\">T<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">t<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">return<\/span> <span class=\"n\">T<\/span><span class=\"p\">(<\/span><span class=\"n\">t<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">str<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">return<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"p\">(<\/span><span class=\"n\">str<\/span><span class=\"p\">.<\/span><span class=\"n\">length<\/span><span class=\"p\">(),<\/span> <span class=\"sc\">'*'<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"c1\">\/\/ iterable\u5f15\u6570\u3068pair\u5f15\u6570\u306emask\u95a2\u6570\u306f\u76f8\u4e92\u306b\u547c\u3073\u51fa\u3055\u308c\u308b\u306e\u3067\u5c11\u306a\u304f\u3068\u3082\u7247\u65b9\u306f\u5148\u306b\u5ba3\u8a00\u304c\u5fc5\u8981<\/span>\r\n<span class=\"k\">template<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">iterable<\/span> <span class=\"n\">T<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"n\">T<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">iterable<\/span><span class=\"p\">);<\/span>\r\n\r\n<span class=\"k\">template<\/span><span class=\"o\">&lt;<\/span><span class=\"k\">typename<\/span> <span class=\"nc\">T<\/span><span class=\"p\">,<\/span> <span class=\"k\">typename<\/span> <span class=\"nc\">U<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">pair<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">pair<\/span><span class=\"o\">&lt;<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;&amp;<\/span> <span class=\"n\">p<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">return<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">pair<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">{<\/span><span class=\"n\">p<\/span><span class=\"p\">.<\/span><span class=\"n\">first<\/span><span class=\"p\">,<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">p<\/span><span class=\"p\">.<\/span><span class=\"n\">second<\/span><span class=\"p\">)};<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">template<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">iterable<\/span> <span class=\"n\">T<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"n\">T<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">iterable<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">T<\/span> <span class=\"n\">masked<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">transform<\/span><span class=\"p\">(<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">begin<\/span><span class=\"p\">(<\/span><span class=\"n\">iterable<\/span><span class=\"p\">),<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">end<\/span><span class=\"p\">(<\/span><span class=\"n\">iterable<\/span><span class=\"p\">),<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">inserter<\/span><span class=\"p\">(<\/span><span class=\"n\">masked<\/span><span class=\"p\">,<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">end<\/span><span class=\"p\">(<\/span><span class=\"n\">masked<\/span><span class=\"p\">)),<\/span>\r\n                   <span class=\"p\">[](<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">::<\/span><span class=\"n\">value_type<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">t<\/span><span class=\"p\">)<\/span> <span class=\"o\">-&gt;<\/span> <span class=\"n\">T<\/span><span class=\"o\">::<\/span><span class=\"n\">value_type<\/span> <span class=\"p\">{<\/span><span class=\"k\">return<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">t<\/span><span class=\"p\">);});<\/span>\r\n    <span class=\"k\">return<\/span> <span class=\"n\">masked<\/span><span class=\"p\">;<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"kt\">int<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span> <span class=\"n\">str<\/span> <span class=\"o\">=<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"p\">(<\/span><span class=\"s\">\"foo\"<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_str<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">str<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ \"***\"<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">vector<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">vec<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"bar\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"buzz\"<\/span><span class=\"p\">};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_vec<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">vec<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {\"***\", \"****\"}<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">vector<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">vector<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;&gt;<\/span> <span class=\"n\">vec2d<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{{<\/span><span class=\"s\">\"0\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"12\"<\/span><span class=\"p\">},<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"abcd\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"efghijk\"<\/span><span class=\"p\">}};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_vec2d<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">vec2d<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {{\"*\", \"**\"}, {\"****\", \"*******\"}}<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">map<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"p\">,<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">mp<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{{<\/span><span class=\"s\">\"key1\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"012-3456-7890\"<\/span><span class=\"p\">},<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"key2\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"123-4567-8901\"<\/span><span class=\"p\">}};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_mp<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">mp<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {{\"key1\", \"*************\"}, {\"key2\", \"*************\"}}<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">map<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"p\">,<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">vector<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;&gt;<\/span> <span class=\"n\">map_vec<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{{<\/span><span class=\"s\">\"person1\"<\/span><span class=\"p\">,<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"012-3456-7890\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"123-4567-8901\"<\/span><span class=\"p\">}}};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_map_vec<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">map_vec<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {{\"person1\", {\"*************\", \"*************\"}}}<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">unordered_map<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"p\">,<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">ump<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{{<\/span><span class=\"s\">\"key1\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"012-3456-7890\"<\/span><span class=\"p\">},<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"key2\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"123-4567-8901\"<\/span><span class=\"p\">}};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_ump<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">ump<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {{\"key1\", \"*************\"}, {\"key2\", \"*************\"}}<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">set<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">string<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">st<\/span> <span class=\"o\">=<\/span> <span class=\"p\">{<\/span><span class=\"s\">\"1\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"22\"<\/span><span class=\"p\">,<\/span> <span class=\"s\">\"333\"<\/span><span class=\"p\">};<\/span>\r\n    <span class=\"k\">auto<\/span> <span class=\"n\">masked_set<\/span> <span class=\"o\">=<\/span> <span class=\"n\">mask<\/span><span class=\"p\">(<\/span><span class=\"n\">st<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ {\"*\", \"**\", \"***\"}<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>main\u95a2\u6570\u306e\u30b3\u30fc\u30c9\u3068\u30b3\u30e1\u30f3\u30c8\u3092\u898b\u308c\u3070\u5206\u304b\u308b\u3088\u3046\u306b\u3001C++\u3067\u306f\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u95a2\u6570\u306e\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u4f7f\u3046\u3068\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u4f5c\u3089\u308c\u305f\u69d8\u3005\u306a\u578b\u306b\u5bfe\u3057\u3066mask\u95a2\u6570\u3092\u9069\u7528\u3067\u304d\u308b\u306e\u3067\u3059\u3002<br \/>\n\u3053\u306e\u3088\u3046\u306a\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u304c\u5b9f\u73fe\u3067\u304d\u308b\u306e\u306f\u3001C++\u304c\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u306e\u7279\u6b8a\u5316\u3068\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u89e3\u6c7a\u306e\u512a\u5148\u9806\u4f4d\u4ed8\u3051\uff08\u8907\u6570\u306e\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306b\u9069\u5408\u3057\u3066\u3082\u3001\u5b9f\u969b\u306b\u547c\u3073\u51fa\u3059\u306e\u306f\u6700\u3082\u9069\u5408\u5ea6\u306e\u9ad8\u3044\u95a2\u6570\u3068\u306a\u308b\u4ed5\u7d44\u307f\uff09\u306b\u5bfe\u5fdc\u3057\u3066\u3044\u308b\u304b\u3089\u3067\u3059\u3002<br \/>\n\u307e\u305f\u3001C++\u306b\u306f\u3082\u3068\u3082\u3068SFINAE\u3068\u3044\u3046\u4ed5\u69d8\u304c\u3042\u308b\u3053\u3068\u3067\u95a2\u6570\u30b7\u30b0\u30cd\u30c1\u30e3\u90e8\u5206\u306e\u8a18\u8ff0\u306f\u975e\u5e38\u306b\u81ea\u7531\u5ea6\u304c\u9ad8\u304f\u3001Rust\u3067\u306f\u5373\u5ea7\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u308b\u3088\u3046\u306a\u66f8\u304d\u65b9\u3082\u305f\u304f\u3055\u3093\u3067\u304d\u307e\u3059\u3002<\/p>\n<h4>Rust\u3067\u306f\u3069\u3053\u307e\u3067\u9811\u5f35\u308c\u308b\u306e\u304b\uff08impl\u30d6\u30ed\u30c3\u30af\u306e\u7279\u6b8a\u5316\u6a5f\u80fd\u304c\u7121\u3044\u3053\u3068\u306b\u6ce8\u76ee\uff09<\/h4>\n<p>Rust\u3067\u306f\u30c8\u30ec\u30a4\u30c8\u306eimpl\u30d6\u30ed\u30c3\u30af\u306e\u7279\u6b8a\u5316\u6a5f\u80fd\uff08specialization\uff09\u304c\u7121\u3044\uff08\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3067\u8a00\u3044\u63db\u3048\u308b\u3068\u3001\u8907\u6570\u306e\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306b\u9069\u5408\u3059\u308b\u3053\u3068\u304c\u8a31\u3055\u308c\u306a\u3044\uff09\u306e\u3067\u3001C++\u306e\u3088\u3046\u306b\u66f8\u304f\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002<br \/>\nRust\u306enightly\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u306f\u3053\u306eimpl\u30d6\u30ed\u30c3\u30af\u7279\u6b8a\u5316\u6a5f\u80fd\u306e\u5b9f\u88c5\u304c\u9032\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u304c\u3001\u8a2d\u8a08\u4e0a\u306e\u8ab2\u984c\u3084\u30d0\u30b0\u304c\u591a\u304f\u307e\u3060\u767a\u5c55\u9014\u4e0a\u306e\u3088\u3046\u3067\u3059\u3002<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">impl\u30d6\u30ed\u30c3\u30af\u306e\u7279\u6b8a\u5316\u6a5f\u80fd\u306e\u63d0\u6848: 1210-impl-specialization &#8211; The Rust RFC Book<\/ul>\n<\/li>\n<\/ul>\n<p>\u7279\u6b8a\u5316\u6a5f\u80fd\u306e\u30c8\u30e9\u30c3\u30ad\u30f3\u30b0issue: Tracking issue for specialization (RFC 1210)<\/p>\n<p>\u5065\u5168\u306a\u6700\u5c0f\u9650\u306e\u7279\u6b8a\u5316\u6a5f\u80fd\u306e\u5b9f\u88c5: Implement a feature for a sound specialization subset<\/p>\n<p>\u5b89\u5b9a\u7248\u306eRust\u3067\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u304f\u5fc5\u8981\u304c\u3042\u308a\u3001Vec\u3068HashMap\u305d\u308c\u305e\u308c\u306b\u5bfe\u3057\u3066impl\u30d6\u30ed\u30c3\u30af\u3092\u8a18\u8ff0\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3053\u3068\u304c\u898b\u3066\u5206\u304b\u308b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">use<\/span> <span class=\"nn\">std<\/span><span class=\"p\">::<\/span><span class=\"nn\">collections<\/span><span class=\"p\">::<\/span><span class=\"n\">HashMap<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">use<\/span> <span class=\"nn\">std<\/span><span class=\"p\">::<\/span><span class=\"nn\">hash<\/span><span class=\"p\">::<\/span><span class=\"n\">Hash<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">trait<\/span> <span class=\"n\">Mask<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span><span class=\"p\">;<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Mask<\/span> <span class=\"k\">for<\/span> <span class=\"nb\">String<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"s\">\"*\"<\/span><span class=\"nf\">.repeat<\/span><span class=\"p\">(<\/span><span class=\"k\">self<\/span><span class=\"nf\">.len<\/span><span class=\"p\">())<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"n\">Clone<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"p\">:<\/span> <span class=\"n\">Mask<\/span> <span class=\"o\">+<\/span> <span class=\"n\">Clone<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">Mask<\/span> <span class=\"k\">for<\/span> <span class=\"p\">(<\/span><span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"p\">(<\/span><span class=\"k\">self<\/span><span class=\"na\">.0<\/span><span class=\"nf\">.clone<\/span><span class=\"p\">(),<\/span> <span class=\"k\">self<\/span><span class=\"na\">.1<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">())<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"n\">Mask<\/span> <span class=\"o\">+<\/span> <span class=\"n\">Clone<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">Mask<\/span> <span class=\"k\">for<\/span> <span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">self<\/span><span class=\"nf\">.clone<\/span><span class=\"p\">()<\/span><span class=\"nf\">.into_iter<\/span><span class=\"p\">()<\/span><span class=\"nf\">.map<\/span><span class=\"p\">(|<\/span><span class=\"n\">x<\/span><span class=\"p\">|<\/span> <span class=\"n\">x<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">())<\/span><span class=\"py\">.collect<\/span><span class=\"p\">::<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">()<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"nb\">Eq<\/span> <span class=\"o\">+<\/span> <span class=\"n\">Hash<\/span> <span class=\"o\">+<\/span> <span class=\"n\">Clone<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"p\">:<\/span> <span class=\"n\">Mask<\/span> <span class=\"o\">+<\/span> <span class=\"n\">Clone<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">Mask<\/span> <span class=\"k\">for<\/span> <span class=\"n\">HashMap<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">self<\/span><span class=\"nf\">.clone<\/span><span class=\"p\">()<\/span><span class=\"nf\">.into_iter<\/span><span class=\"p\">()<\/span><span class=\"nf\">.map<\/span><span class=\"p\">(|<\/span><span class=\"n\">x<\/span><span class=\"p\">|<\/span> <span class=\"n\">x<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">())<\/span><span class=\"py\">.collect<\/span><span class=\"p\">::<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">HashMap<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">()<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"c\">\/\/ \u4ee5\u4e0b\u306eimpl\u30d6\u30ed\u30c3\u30af\u306fconflicting implementation\uff08String\u3078\u306eimpl\u30d6\u30ed\u30c3\u30af\u3068\u885d\u7a81\uff09\u3067\u30a8\u30e9\u30fc\u306b<\/span>\r\n<span class=\"c\">\/\/ \u305d\u306e\u305f\u3081IntoIterator\u3092\u6301\u3064\u30af\u30e9\u30b9\u3068\u3057\u3066Vec\u3084HashMap\u3092\u307e\u3068\u3081\u3066\u6271\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u305b\u3093<\/span>\r\n<span class=\"c\">\/\/ \u4ed6\u306b\u3001HashMap\u3092\u5165\u308c\u308b\u5834\u5408\u306fT\u306bEq + Hash\u306e\u30c8\u30ec\u30a4\u30c8\u5883\u754c\u3082\u5fc5\u8981\u306b\u306a\u308b\u3068\u3044\u3046\u554f\u984c\u3082<\/span>\r\n<span class=\"c\">\/\/ impl&lt;T, U: Mask&gt; Mask for T<\/span>\r\n<span class=\"c\">\/\/     where T: Clone + std::iter::IntoIterator&lt;Item=U&gt; + std::iter::FromIterator&lt;U&gt;<\/span>\r\n<span class=\"c\">\/\/ {<\/span>\r\n<span class=\"c\">\/\/     fn mask(&amp;self) -&gt; T {<\/span>\r\n<span class=\"c\">\/\/         self.clone().into_iter().map(|x| x.mask()).collect::&lt;T&gt;()<\/span>\r\n<span class=\"c\">\/\/     }<\/span>\r\n<span class=\"c\">\/\/ }<\/span>\r\n\r\n<span class=\"c\">\/\/ Rust\u30b9\u30bf\u30a4\u30eb\u3067\u306f\u7121\u3044\u3067\u3059\u304c\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306e\u3088\u3046\u306b\u547c\u3073\u51fa\u305b\u308b\u95a2\u6570\u3082\u5b9a\u7fa9\u3067\u304d\u307e\u3059<\/span>\r\n<span class=\"k\">fn<\/span> <span class=\"n\">mask<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"n\">Mask<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">(<\/span><span class=\"n\">m<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">T<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">T<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">m<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">()<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">s<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"foo\"<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">masked<\/span> <span class=\"o\">=<\/span> <span class=\"n\">s<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">();<\/span> <span class=\"c\">\/\/ \"***\"<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{:?}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">masked<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">v<\/span> <span class=\"o\">=<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"bar\"<\/span><span class=\"p\">),<\/span> <span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"buzz\"<\/span><span class=\"p\">)];<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{:?}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">v<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">());<\/span> <span class=\"c\">\/\/ [\"***\", \"****\"]<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">map<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">HashMap<\/span><span class=\"p\">::<\/span><span class=\"nf\">new<\/span><span class=\"p\">();<\/span>\r\n    <span class=\"n\">map<\/span><span class=\"nf\">.insert<\/span><span class=\"p\">(<\/span><span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"key1\"<\/span><span class=\"p\">),<\/span> <span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"012-3456-7890\"<\/span><span class=\"p\">));<\/span>\r\n    <span class=\"n\">map<\/span><span class=\"nf\">.insert<\/span><span class=\"p\">(<\/span><span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"key2\"<\/span><span class=\"p\">),<\/span> <span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"123-4567-8901\"<\/span><span class=\"p\">));<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{:?}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">map<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">());<\/span> <span class=\"c\">\/\/ {\"key1\": \"*************\", \"key2\": \"*************\"}<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">map_of_vec<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">HashMap<\/span><span class=\"p\">::<\/span><span class=\"nf\">new<\/span><span class=\"p\">();<\/span>\r\n    <span class=\"n\">map_of_vec<\/span><span class=\"nf\">.insert<\/span><span class=\"p\">(<\/span><span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"person1\"<\/span><span class=\"p\">),<\/span>\r\n                      <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"012-3456-7890\"<\/span><span class=\"p\">),<\/span> <span class=\"nn\">String<\/span><span class=\"p\">::<\/span><span class=\"nf\">from<\/span><span class=\"p\">(<\/span><span class=\"s\">\"123-4567-8901\"<\/span><span class=\"p\">)]);<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{:?}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">map_of_vec<\/span><span class=\"nf\">.mask<\/span><span class=\"p\">());<\/span> <span class=\"c\">\/\/ {\"person1\": [\"*************\", \"*************\"]}<\/span>\r\n    <span class=\"c\">\/\/ \u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306e\u3088\u3046\u306b\u547c\u3073\u51fa\u3059\u3053\u3068\u3082\u53ef\u80fd<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{:?}\"<\/span><span class=\"p\">,<\/span> <span class=\"nf\">mask<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"n\">map_of_vec<\/span><span class=\"p\">));<\/span> <span class=\"c\">\/\/ {\"person1\": [\"*************\", \"*************\"]}<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3053\u306e\u3088\u3046\u306b\u73fe\u72b6\u306eRust\u3067\u306fC++\u306e\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306b\u5339\u6575\u3059\u308b\u307b\u3069\u67d4\u8edf\u306a\u66f8\u304d\u65b9\u306f\u3067\u304d\u307e\u305b\u3093\u3002<br \/>\nC++\u3067\u306fvector\u3001map\u3001unordered_map\u3001set\u306a\u3069\u3092iterable\u306a\u578b\u3068\u3057\u3066\u307e\u3068\u3081\u3066\u5bfe\u5fdc\u3067\u304d\u307e\u3057\u305f\u304c\u3001Rust\u3067\u306fVec\u3068HashMap\u500b\u5225\u306b\u3057\u304b\u5bfe\u5fdc\u3067\u304d\u3066\u304a\u3089\u305a\u3001BTreeMap\u3084HashSet\u3092\u8ffd\u52a0\u3059\u308b\u5834\u5408\u306f\u305d\u308c\u305e\u308cimpl\u30d6\u30ed\u30c3\u30af\u3092\u66f8\u304d\u8db3\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002<br \/>\n\u3053\u308c\u306fRust\u304c\u7279\u6b8a\u5316\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u306a\u3044\u3053\u3068\u306b\u52a0\u3048\u3001impl\u30d6\u30ed\u30c3\u30af\u3067\u30c8\u30ec\u30a4\u30c8\u5883\u754c\u3092\u53b3\u3057\u304f\u30c1\u30a7\u30c3\u30af\u3057\u3066\u3044\u308b\u3053\u3068\u3082\u5f71\u97ff\u3057\u3066\u3044\u308b\u3088\u3046\u306b\u601d\u3044\u307e\u3059\u3002<br \/>\n\u305f\u3060\u3001C++\u306f\u67d4\u8edf\u3067\u3042\u308b\u4e00\u65b9\u3067\u66f8\u304d\u65b9\u3092\u9593\u9055\u3048\u305f\u6642\u306e\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u304c\u81a8\u5927\u3068\u306a\u308a\u975e\u5e38\u306b\u96e3\u89e3\u3060\u3068\u3044\u3046\u6b20\u70b9\u304c\u3042\u308a\u307e\u3059\u3002<br \/>\n\u305d\u306e\u70b9Rust\u306f\u67d4\u8edf\u6027\u3092\u72a0\u7272\u306b\u3057\u3066\u3044\u308b\u4ee3\u308f\u308a\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u304c\u5206\u304b\u308a\u3084\u3059\u304f\u3001\u30b9\u30c8\u30ec\u30b9\u304c\u3042\u308a\u307e\u305b\u3093\u3002<br \/>\n\u5b9f\u969b\u3001HashMap\u306e\u30ad\u30fc\u3068\u306a\u308b\u578b\u306b\u306f\u30c8\u30ec\u30a4\u30c8\u5883\u754c\u3068\u3057\u3066Eq\u3084Hash\u304c\u5fc5\u8981\u306a\u306e\u3067\u3059\u304c\u3001\u3053\u308c\u3092\u66f8\u304d\u5fd8\u308c\u3066\u30b3\u30f3\u30d1\u30a4\u30eb\u3057\u3066\u3082\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u6587\u8a00\u304c\u305d\u306e\u3053\u3068\u3092\u89aa\u5207\u306b\u6559\u3048\u3066\u304f\u308c\u307e\u3059\u3002<br \/>\n\u4eca\u56de\u306e\u4f8b\u3067\u3082Rust\u3068C++\u306e\u30b9\u30bf\u30f3\u30b9\u306e\u9055\u3044\u304c\u3088\u304f\u8868\u308c\u3066\u3044\u308b\u3068\u611f\u3058\u307e\u3057\u305f\u3002<\/p>\n<h4>Rust\u306b\u53ef\u5909\u9577\u5f15\u6570\u95a2\u6570\u306e\u6a5f\u80fd\u306f\u7121\u3044<\/h4>\n<p>Rust\u306b\u306f\u53ef\u5909\u9577\u5f15\u6570\u306e\u8ab2\u984c\u3082\u3042\u308a\u307e\u3059\u3002<br \/>\nC++\u3067\u306fvariadic templates\u6a5f\u80fd\u306b\u3088\u3063\u3066\u4efb\u610f\u306e\u578b\u306e\u4efb\u610f\u500b\u306e\u5f15\u6570\u3092\u6301\u3064\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u304c\u3001Rust\u306b\u305d\u306e\u6a5f\u80fd\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">template<\/span> <span class=\"o\">&lt;<\/span><span class=\"k\">typename<\/span> <span class=\"nc\">T<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"kt\">void<\/span> <span class=\"nf\">println<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">arg<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">cout<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">arg<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">endl<\/span><span class=\"p\">;<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">template<\/span> <span class=\"o\">&lt;<\/span><span class=\"k\">typename<\/span> <span class=\"nc\">T<\/span><span class=\"p\">,<\/span> <span class=\"k\">typename<\/span><span class=\"o\">...<\/span> <span class=\"nc\">Args<\/span><span class=\"p\">&gt;<\/span>\r\n<span class=\"kt\">void<\/span> <span class=\"nf\">println<\/span><span class=\"p\">(<\/span><span class=\"k\">const<\/span> <span class=\"n\">T<\/span><span class=\"o\">&amp;<\/span> <span class=\"n\">arg<\/span><span class=\"p\">,<\/span> <span class=\"k\">const<\/span> <span class=\"n\">Args<\/span><span class=\"o\">&amp;<\/span><span class=\"p\">...<\/span> <span class=\"n\">args<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">cout<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">arg<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"s\">\", \"<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"n\">println<\/span><span class=\"p\">(<\/span><span class=\"n\">args<\/span><span class=\"p\">...);<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"kt\">int<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">println<\/span><span class=\"p\">(<\/span><span class=\"s\">\"foo\"<\/span><span class=\"p\">,<\/span> <span class=\"mi\">2<\/span><span class=\"p\">,<\/span> <span class=\"o\">-<\/span><span class=\"mf\">1.1<\/span><span class=\"p\">);<\/span> <span class=\"c1\">\/\/ foo, 2, -1.1<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u305d\u306e\u305f\u3081Rust\u3067\u53ef\u5909\u9577\u5f15\u6570\u95a2\u6570\u3092\u5b9f\u73fe\u3059\u308b\u306b\u306f\u518d\u5e30\u7684\u306a\u30b8\u30a7\u30cd\u30ea\u30af\u30b9\u3067\u5b9f\u88c5\u3059\u308b\u304b\u3001\u30de\u30af\u30ed\u3092\u4f7f\u3046\u3057\u304b\u3042\u308a\u307e\u305b\u3093\u3002<br \/>\n\u518d\u5e30\u7684\u306a\u30b8\u30a7\u30cd\u30ea\u30af\u30b9\u3092\u7528\u3044\u305f\u53ef\u5909\u9577\u5f15\u6570\u306b\u3064\u3044\u3066\u306f\u4ee5\u4e0b\u306e\u8a18\u4e8b\u304c\u53c2\u8003\u306b\u306a\u308a\u307e\u3059\u3002<br \/>\n-&gt; Rust\u306e\u53ef\u5909\u9577\u5f15\u6570\u95a2\u6570\u3068HList\u306e\u8a71<\/p>\n<h4>\u7121\u7406\u3084\u308aRust\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u66f8\u3051\u308b\u3088\u3046\u306b\u3059\u308b\u8a66\u307f\u3082\u3042\u308b\u304c\u2026\u2026<\/h4>\n<p>&#8220;Rust function overloading&#8221;\u3067\u691c\u7d22\u3059\u308b\u3068\u3001\u4f55\u3068\u304b\u3057\u3066Rust\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306e\u8a18\u6cd5\u3092\u4f7f\u3048\u308b\u3088\u3046\u306b\u3057\u3088\u3046\u3068\u3044\u3046\u8a66\u307f\u3092\u898b\u3064\u3051\u307e\u3057\u305f\u3002<br \/>\n\u305f\u3068\u3048\u3070overloadf\u3068\u3044\u3046\u30af\u30ec\u30fc\u30c8\u304c\u3042\u308a\u307e\u3059\u3002\uff08\u305f\u3060\u3057\u5229\u7528\u6570\u306f\u6975\u3081\u3066\u5c11\u306a\u304f\u30de\u30a4\u30ca\u30fc\uff09<br \/>\n\u307e\u305f\u3001Rust\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u5b9f\u88c5\u3057\u305f\u3068\u3044\u3046\u30d6\u30ed\u30b0\u3082\u3042\u308a\u307e\u3059\u304c\u3001\u7b46\u8005\u81ea\u8eab\u304c\u306a\u305c\u3053\u308c\u3092\u4f7f\u3063\u3066\u306f\u306a\u3089\u306a\u3044\u304b\u3092\u8aac\u3044\u3066\u3044\u308b\u7a0b\u5ea6\u306b\u306f\u30c8\u30ea\u30c3\u30ad\u30fc\u306a\u5b9f\u88c5\u3068\u306a\u3063\u3066\u3044\u307e\u3059\u3002<br \/>\n\u65e2\u306b\u8aac\u660e\u3057\u305f\u901a\u308a\u3001Rust\u3067\u306f\u5c11\u306a\u304f\u3068\u3082\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u8a18\u6cd5\u3092\u4f7f\u3046\u306e\u3067\u306f\u306a\u304f\u3066\uff08\u7279\u306b\u9577\u671f\u306b\u30e1\u30f3\u30c6\u30ca\u30f3\u30b9\u3059\u308b\u5fc5\u8981\u306e\u3042\u308b\u30b3\u30fc\u30c9\u3067\u306f\uff09\u30c8\u30ec\u30a4\u30c8\u3092\u4f7f\u3046\u3088\u3046\u306b\u3057\u305f\u65b9\u304c\u826f\u3044\u306e\u306f\u78ba\u5b9f\u3068\u3044\u3063\u3066\u826f\u3044\u3067\u3057\u3087\u3046\u3002<\/p>\n<h2>\u307e\u3068\u3081<\/h2>\n<p>Rust\u306b\u306f\u30c8\u30ec\u30a4\u30c8\u304c\u3042\u308b\u306e\u3067\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u9811\u5f35\u308b\u5fc5\u8981\u306f\u7121\u3044\u3068\u3044\u3046\u3053\u3068\u304c\u5206\u304b\u308a\u307e\u3057\u305f\u3002<br \/>\nC++\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u30e1\u30bf\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u6d3b\u7528\u3057\u305f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u306e\u67d4\u8edf\u6027\u306b\u6bd4\u3079\u308b\u3068Rust\u306e\u30c8\u30ec\u30a4\u30c8\u306f\u8ca7\u5f31\u3067\u3059\u304c\u3001C++\u3067\u305d\u3046\u3044\u3046\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u3092\u4f7f\u3044\u307e\u304f\u3063\u3066\u305f\u4eba\u4ee5\u5916\u306f\u6c17\u306b\u3059\u308b\u5fc5\u8981\u306e\u306a\u3044\u30ec\u30d9\u30eb\u3067\u3059\u3002<br \/>\n\u5c11\u3057\u3067\u3082\u305d\u306e\u3088\u3046\u306a\u67d4\u8edf\u6027\u306b\u8fd1\u3065\u3051\u305d\u3046\u306aRust\u306eimpl\u30d6\u30ed\u30c3\u30af\u306e\u7279\u6b8a\u5316\u6a5f\u80fd\u306b\u3064\u3044\u3066\u306f\u3001\u591a\u304f\u306e\u8ab2\u984c\u306f\u3042\u308b\u3088\u3046\u3067\u3059\u304c\u3001\u4eca\u5f8c\u306e\u9032\u5c55\u3092\u671f\u5f85\u3057\u305f\u3044\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u3053\u306e\u8a18\u4e8b\u3067\u6271\u3046\u3053\u3068 Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u304c\u3042\u308a\u307e\u305b\u3093\u3002\uff08\u6f14\u7b97\u5b50\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306f\u3042\u308a\u307e\u3059\u3002\uff09 C+ [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45152","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v21.5 (Yoast SEO v21.5) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>- Blog - Silicon Cloud<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u3053\u306e\u8a18\u4e8b\u3067\u6271\u3046\u3053\u3068 Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u304c\u3042\u308a\u307e\u305b\u3093\u3002\uff08\u6f14\u7b97\u5b50\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306f\u3042\u308a\u307e\u3059\u3002\uff09 C+ [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2024-01-31T19:50:23+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-29T10:11:37+00:00\" \/>\n<meta name=\"author\" content=\"\u6e05, \u5b87\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u6e05, \u5b87\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2024-01-31T19:50:23+00:00\",\"dateModified\":\"2024-04-29T10:11:37+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e\",\"name\":\"\u6e05, \u5b87\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g\",\"caption\":\"\u6e05, \u5b87\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/qingyu\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/#local-main-organization-logo\",\"url\":\"\",\"contentUrl\":\"\",\"caption\":\"Blog - Silicon Cloud\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"- Blog - Silicon Cloud","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u3053\u306e\u8a18\u4e8b\u3067\u6271\u3046\u3053\u3068 Rust\u306b\u306f\u95a2\u6570\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u6a5f\u80fd\u304c\u3042\u308a\u307e\u305b\u3093\u3002\uff08\u6f14\u7b97\u5b50\u30aa\u30fc\u30d0\u30fc\u30ed\u30fc\u30c9\u306f\u3042\u308a\u307e\u3059\u3002\uff09 C+ [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2024-01-31T19:50:23+00:00","article_modified_time":"2024-04-29T10:11:37+00:00","author":"\u6e05, \u5b87","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u6e05, \u5b87","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"4 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2024-01-31T19:50:23+00:00","dateModified":"2024-04-29T10:11:37+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e","name":"\u6e05, \u5b87","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g","caption":"\u6e05, \u5b87"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/qingyu\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45152-2\/#local-main-organization-logo","url":"","contentUrl":"","caption":"Blog - Silicon Cloud"}]}},"_links":{"self":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45152","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45152"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45152\/revisions"}],"predecessor-version":[{"id":86832,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45152\/revisions\/86832"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45152"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45152"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45152"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}