220 40210 <21428a88-efb7-4648-86c6-5dbf19b96519@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: Denis Kotov Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Global operator overriding Date: Sat, 22 Sep 2018 04:09:14 -0700 (PDT) Lines: 99 Approved: news@gmane.org Message-ID: <21428a88-efb7-4648-86c6-5dbf19b96519@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1193_1112749031.1537614554626" X-Trace: blaine.gmane.org 1537614430 6215 195.159.176.226 (22 Sep 2018 11:07:10 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 22 Sep 2018 11:07:10 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBDY2PNGE6QOBBW6FTDOQKGQEVB5YOWQ@isocpp.org Sat Sep 22 13:07:06 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yb1-f199.google.com ([209.85.219.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1g3fkg-0001Vx-0s for gclcip-std-proposals@m.gmane.org; Sat, 22 Sep 2018 13:07:06 +0200 Original-Received: by mail-yb1-f199.google.com with SMTP id l8-v6sf2846142ybk.14 for ; Sat, 22 Sep 2018 04:09:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:subject:mime-version:x-original-sender :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=wEOXAEPn6SdrhVCO5tpO7SQhZ4MWYgUE4zEtWZMU18o=; b=iziCEsMjGW+xn9UEz6PUyPosAiRK9FWrdglIFsSBjIjpcge8A0Cbpytxyt+cOrOy+z +dPhA5+DxbG4uIosmCDV16T9qgE340hiW1AI6Jyeo/j10A3K9pBUZIqM8RNoETd/qT// lD2cImtBjufmT59i070coGnOjs2Dm/Vu4+eHuvDvrGql0c+a2Fu4sVbRSOlSuKbp9NAr c1GP+tJnIj1ZVpflGgd2gDfr2EUcT0OdGTd+5I9WK8lkhcWjguOKxfsOyDvZZHJTTdfg x7+9KpAnqFnuKa61UTPbLVehNP3PNdzAYmsJEXgkHMX9TJ8Z1WGkdjtuVBtLbIvwN1Fp vwOg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=wEOXAEPn6SdrhVCO5tpO7SQhZ4MWYgUE4zEtWZMU18o=; b=YdbB3Ha1ycCLoTyjOAlt/YhjTkeZwwzhLip/cBS/aElMlTg4Hus6dtaZU/FXXp1Ngf GR0awxW2TB1tS4UVwQ4vqIsqyf9ddG01r53yt5xy7K5kNc7urrtD/tb8efJcgEOt0GRW 3moUG2Hub4i2Pyr+I06Q1tY/kDtNiODrwS1rxbQJslYEfkYgmfky+WXjat4WeGmMHdbj Amc9MeXoXdRARTdqrJZ7A/hgH06qsKfIYsAXrgBLvZyNslRrWzuo3JGKhaa2LiJtpqA2 I8LqIr84Nl2R3orsIyZsPJApyyrc1ZuJMMKGfI/7zZohXGAM91hXKpzOsnJRjXpqgWFB OfhQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=wEOXAEPn6SdrhVCO5tpO7SQhZ4MWYgUE4zEtWZMU18o=; b=CuOhm2378TKQcDSJvIEHhQjt5IbeEoY0oo0sJf9c7O0uVSLS/yC0BdOMhuXof9KKIa JPd+3knkrMlleZbFQ9T3OczGip4HQ37+iMZKufmoj/KUt9ecrgQyiDXGePTSJlzhy9SX VLlAALMIl/Nc+eZ2SVELE6ee3qDEp5Lp350Bdu8OlYhJJomHGgZX5vRMk/WqpWI8sFaf gxIdOeoiDF9UL5zWT3XrByCrx7KzJybyZwzfMQ2TC9Larlcc1300/kkKhTrmTGj9F5Wc 9LgJoQ+XmHkuVs2Ve/N2wNxEdcTzrkJtfJnVU2M2v/9/rpI8Ve2KYmEV8h8L1m0rYUFM MW9g== X-Gm-Message-State: APzg51DXGCgHKVGD8a/fpGHLesEkmrfjkoQ94AjLuIhDugj6GaFaA21S UZlV0XWR24j/6pPnHjGF6E951w== X-Google-Smtp-Source: ANB0VdYzRE8VSXrCrpxYc4+10bc8cJdoy6gJYp8xPGduqzPOkMAiH3hcxkQA8qU6NhGX+TTZEs8JVA== X-Received: by 2002:a81:9e84:: with SMTP id v126-v6mr83670ywg.236.1537614556416; Sat, 22 Sep 2018 04:09:16 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a5b:d07:: with SMTP id y7-v6ls829726ybp.13.gmail; Sat, 22 Sep 2018 04:09:15 -0700 (PDT) X-Received: by 2002:a25:ba44:: with SMTP id z4-v6mr18290ybj.7.1537614555123; Sat, 22 Sep 2018 04:09:15 -0700 (PDT) X-Original-Sender: redradist@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:40210 Archived-At: ------=_Part_1193_1112749031.1537614554626 Content-Type: multipart/alternative; boundary="----=_Part_1194_148891727.1537614554626" ------=_Part_1194_148891727.1537614554626 Content-Type: text/plain; charset="UTF-8" Hello everyone, I have faced with an issue when I want for all numeric types create general mechanize of checking for overflowing, but to make it optional. *My Proposal* is to add possibility to override global operators to make possible to add logic for overflow checking: template constexpr inline auto operator +(TLeft _left, TRight _right) -> decltype(_left + _right) { if (typeid(decltype(_left + _right)) == typeid(TLeft)) { // Implementation of checking of overflow // For example: If overflow throw exception } else { // Implementation of checking of overflow // For example: If overflow throw exception } return _left + _right; } What do you think about such solution ? -- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/21428a88-efb7-4648-86c6-5dbf19b96519%40isocpp.org. ------=_Part_1194_148891727.1537614554626 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello everyone,

I have faced with an i= ssue when I want for all numeric types create general mechanize of checking= for overflowing, but to make it optional.
My Proposal is to add possibility to override global operators to = make possible to add logic for overflow checking:

template <typename TL=
eft, typename TRight>
constexpr inline auto operator +(TLeft _left, TR=
ight _right) -> d=
ecltype(_left + _right) {
  if (typei=
d(decltype(_l=
eft + _right)) =3D=3D typeid(TLeft)) {
    // Implementation of checking of overflow
    // For example: If overfl=
ow t=
hrow exception
  } els=
e {
    // Imple=
mentation of checking of overflow
    // F=
or example: If overflow throw exception=

<=
/span>  }
  return _left + _right;
}

What do you think about such solut=
ion ?

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/21428a88-efb7-4648-86c6-5dbf19b96519= %40isocpp.org.
------=_Part_1194_148891727.1537614554626-- ------=_Part_1193_1112749031.1537614554626-- .