Help us understand the problem. What is going on with this article?

Go2ジェネリクスとC++20コンセプトって雰囲気ちょい似てる?

More than 1 year has passed since last update.

Go2のジェネリクス/コントラクトと、C++20のコンセプトって雰囲気が似てるんじゃないかと思って対比させてみただけの記事。(※個人の感想です)

// Go2
contract stringer(x T) {
  var s string = x.String()
}

func Stringify(type T stringer)(s []T) (ret []string) {
  for _, v := range s {
    ret = append(ret, v.String())
  }
  return ret
}
// C++20
#include <string>
#include <span>
#include <vector>
using namespace std;

template <typename T>
concept Stringer = requires (T x) {
  { x.to_string() } -> string;
};

template <Stringer E>
auto stringify(span<E> s) -> vector<string>
{
  vector<string> ret;
  for (auto&& v: s) {
     ret.push_back(v.to_string());
  }
  return ret;
}

いかがでしたか?いくらなんでも無理がありますね。

免責事項

2019年2月現在、Go2もC++20も策定段階のプログラミング言語仕様です。最終的に本記事の内容は陳腐化する可能性があります。

Go2ジェネリクス仕様は Contracts - Draft Design, Aug/27/2018 を参考にしました。
C++20コンセプト仕様は N4800 Working Draft 仕様に基づきます。

yohhoy
「なんにも知らないって、すっごくしあわせ!」--スヌーピー
https://yohhoy.hatenadiary.jp/
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away