C++相談室 part146

**デフォルトの名無しさん** · 2019/11/07(木) 11:35:36.76

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part145
http://mevius.5ch.net/test/read.cgi/tech/1568362404/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://mevius.5ch.net/test/read.cgi/tech/1556142878/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

**デフォルトの名無しさん** · 2019/11/26(火) 21:04:44.09

分母、分子それぞれの桁数によって
最適な方法は変わる

だからそういった条件をセットで語らないと意味がない

**デフォルトの名無しさん** · 2019/11/26(火) 21:06:41.35

巨大な桁数同士だとニュートン法が速い
乗算の3倍ほどの時間で出来る

割り算を組み合わせたらそんな時間では計算出来ない

◆QZaw55cn4c · 2019/11/26(火) 21:15:26.74

>>231
ニュートン法（にゅーとんらぷそん）って、曲線で与えられる関数の根の一つを求める方法でしょ？
いわゆる実数の根を求める方法であって、整数の剰余を求めることはニュートン法では無理なのでは？

何がどうなって「当然」なんですか？

**デフォルトの名無しさん** · 2019/11/26(火) 21:19:25.20

除算が出来るんだから剰余も当然求められる

◆QZaw55cn4c · 2019/11/26(火) 21:22:34.40

>>241
で、その剰余はどうやって求めるのですか？
まさか、求めた商に除数をかけて被除数から引くのですか？それって遅くないですか？

**デフォルトの名無しさん** · 2019/11/26(火) 21:23:39.77

遅くないです

◆QZaw55cn4c · 2019/11/26(火) 21:25:15.97

>>243
本当ですか？わざわざ、あらためて掛け算をするんですよ？私には馬鹿みたいな方法にみえますが？

**デフォルトの名無しさん** · 2019/11/26(火) 21:26:45.06

馬鹿みたいな方法にみえるのはあなたが馬鹿だからです

**デフォルトの名無しさん** · 2019/11/26(火) 21:29:07.44

>>242
ニュートン法なので、
z = b / a の z を求めたい場合、直線 y = a * x - b と x 軸(y=0) との交点の
x を求めることによって行う。その際、x0, x1, ・・・, xn のように x を
漸化的に交点に近づけていく。数学的直感だと、その途中で剰余も求められ
るように出来そうな気がする。

**デフォルトの名無しさん** · 2019/11/26(火) 21:43:45.68

>>246
色々なやり方はあると思うけど、2^m <= a < 2^(m+1) の場合、
x_{k+1} = x_k - (y_k << m);
y_{k+1} = a * x_{k+1} - b;
の漸化式でいけるかも知れない。
間違っていたらゴメンなさい。

**デフォルトの名無しさん** · 2019/11/26(火) 21:44:43.61

>>246
その方法で乗算の3倍の時間で除算が出来ますか？
無理ですよね？

**デフォルトの名無しさん** · 2019/11/26(火) 21:49:53.94

>>248
漸化式が三回くらい行ったら正しい答えに到達するのであれば、
乗算の三倍程度の時間で済むと思う。
何回で到達するかは、まだ考えて無いのでわからない。

**デフォルトの名無しさん** · 2019/11/26(火) 21:53:39.27

>>247
ここで、0<= y_k < x_k が満たされれば、x_k が商、y_k が余りだと思う。
初期条件は、
x_0 = 1;
y_0 = a * x_0 - b;
とすればよいはず。
途中、y_k が負の値になることが有るが、問題ない。

**デフォルトの名無しさん** · 2019/11/26(火) 21:55:42.20

前提は分母も分子も巨大な桁数で良いんだよね？

**デフォルトの名無しさん** · 2019/11/26(火) 21:56:38.32

分母の桁数があまり大きくないならテーラー展開も有効だよ

**デフォルトの名無しさん** · 2019/11/26(火) 21:57:23.51

>>251
一般的な場合を取り扱うのであれば、その条件が、もっともらしいと思います。

**デフォルトの名無しさん** · 2019/11/26(火) 21:57:37.73

いずれにしろ、
除算命令を多用することは無い

**デフォルトの名無しさん** · 2019/11/26(火) 21:58:41.68

ニュートン法を使うのは初めて聞きました。
とても勉強になります。

**デフォルトの名無しさん** · 2019/11/26(火) 21:59:47.69

>>253
それで漸化式3回なんてことはあり得ないかと

**デフォルトの名無しさん** · 2019/11/26(火) 22:01:24.02

○<< m とせずに ○<< (m+1) としておけば、y_k は負の数にならないかも
知れない。ただ、数学的直感的に、収束速度は、前者の方が速い気がする。

**デフォルトの名無しさん** · 2019/11/26(火) 22:03:05.27

>>240
数年前にも｢にゅーとんらぷそん｣とか書いてた糞コテがいたんですが
もしかして本人？
文のレベルも頭の悪さもそれっぽい

**デフォルトの名無しさん** · 2019/11/26(火) 22:07:18.12

八木アンテナを八木宇田アンテナと書かないのと同程度に
ニュートンラプソン法とは書かないと思っているので
印象に残ってます

◆QZaw55cn4c · 2019/11/26(火) 22:08:38.03

>>258
raphson の ph を摩擦音で読むか、有気破裂音で読むかは、選択可能かと思っていましたが

**デフォルトの名無しさん** · 2019/11/26(火) 22:10:11.81

>>247
まず、シフトの向きが右で、正しくは、○>>○ でした。

**デフォルトの名無しさん** · 2019/11/26(火) 22:16:30.64

>>260
何を指摘されてるのかわかってないwww

**デフォルトの名無しさん** · 2019/11/26(火) 22:19:47.56

>>256
では、BIT SHIFT ではなく、浮動小数点演算にして、以下の様にすれば速くなるかもしれません。

(i) 初期条件
η = 1/a;　　// 多倍長の浮動小数点
x_0 = 1;
y_0 = a * x_0 - b;

(ii) 漸化式
x_{k+1} = x_k - (int_N)(y_k * η);
y_{k+1} = a * x_{k+1} - b;

但し、int_N は、多倍長の浮動小数点を多倍長整数に直す cast。

**デフォルトの名無しさん** · 2019/11/26(火) 22:34:50.59

#include <iostream>
using namespace std;

int main() {
string str = "abc";
cout << &str << endl;
cout << str << endl;
cout << str.c_str() << endl;
return 0;
}

VisualStudio2019のdebugとreleaseとで&strのメモリダンプ内容が異なるのはなぜでしょうか？
debug : 78 f7 b6 00 61 62 63 00
release : 61 62 63 00

**デフォルトの名無しさん** · 2019/11/26(火) 22:34:54.21

1/a が求まれば
あとは乗算2回(と軽い演算)で剰余が求まるでしょ
漸化式にするまでもなく

**デフォルトの名無しさん** · 2019/11/26(火) 22:36:37.97

>>264
デバッグ情報とか破壊検出用データとかじゃ？

**デフォルトの名無しさん** · 2019/11/26(火) 22:37:41.67

>>265
細部までは分かりませんが、直感でなんとなく分かります。
aが32BITの場合なら、一度にほぼ、32BIT分計算が終わる気がします。

**デフォルトの名無しさん** · 2019/11/26(火) 22:42:23.06

>>266
ありがとうございます。
ということはdebug版の呼び出し元(exe)とrelease版の呼び出し先(dll)
間ではstring型を関数の引数にするとバグりますね。

**デフォルトの名無しさん** · 2019/11/26(火) 22:44:29.12

>>267
>>251の前提はどこに？

**デフォルトの名無しさん** · 2019/11/26(火) 22:45:06.01

>>268
そうなりますね。
malloc() や new なども、Debug 版と Release 版ではライブラリに互換性が
有りません。Debug 版では、まさに、破壊検出用の埋め草のような物が入っていたり、
new を行った行番号情報が入っていたりします。

**デフォルトの名無しさん** · 2019/11/26(火) 22:46:50.29

>>270
多謝!!!
しりませんでした。

**デフォルトの名無しさん** · 2019/11/26(火) 22:49:29.81

>>269
私は特に仮定はしていませんが、四倍浮動小数点型などに興味があり、
それを整数演算に置き換えて実装してみようかと思っていたりするので、
割る数も割られる数も同じくらいのBIT数の整数の場合に興味があります。

前に調べたところ、倍精度浮動小数点演算を用いて、四倍精度浮動小数点
の乗算、除算まで実装する方法があるようですね。ただし、その場合、
Intelの内部拡張倍精度(80BIT)方式をONにしていると駄目なんだそうですが。

**デフォルトの名無しさん** · 2019/11/26(火) 22:57:18.80

>>272
4倍弱精度なら
Haswell以降で使えるFMA命令がとても約に立ちます

**デフォルトの名無しさん** · 2019/11/26(火) 22:58:49.33

>>264
こっちで試した限りだと、debugとreleaseでコンソール表示の長さは変わらんかったぞ
x86とx64なら差が出たが

**デフォルトの名無しさん** · 2019/11/26(火) 22:59:27.13

>>265
aがN BIT の場合、例えば、1/a を、64BIT 程度で求めた場合は、
(N / 64) (回) 程度の乗算が必要になりそうです。
1/a を高速に N BIT まで求めるアルゴリズムがありますでしょうか？

**デフォルトの名無しさん** · 2019/11/26(火) 22:59:32.53

それ以前の普通の乗算でも出来るけど

AVXでSIMD化出来るのでたくさん計算するならぜひ

**デフォルトの名無しさん** · 2019/11/26(火) 23:01:27.32

>>273
興味深いです。教えていただければ幸いです。

**デフォルトの名無しさん** · 2019/11/26(火) 23:02:58.56

>>274
メモリダンプという言葉をみおとしていた
スレ汚しすまぬ

**デフォルトの名無しさん** · 2019/11/26(火) 23:05:02.93

>>275
私が何度か除算は乗算の3倍の時間と書いたのは
例えば100万桁同士の除算は100万桁同士の乗算の3倍な時間という意味
乗算命令の回数ではなくて

aが100万桁で1/aを100万桁精度で求めるのは
100万桁同士の乗算の2倍くらいの時間で出来る

**デフォルトの名無しさん** · 2019/11/26(火) 23:10:41.35

例えば、割り算部分をテーラー展開ですか。

**デフォルトの名無しさん** · 2019/11/26(火) 23:17:37.02

>>277
{a_hi, a_lo} と {b_hi, b_lo} の乗算で
a_hi * b_hi を求めてから、
本当の a_hi * b_hi との誤差を求めるところ

c_hi = a_hi * b_hi とやってから
a_hi * b_hi - c_hi
をFMAでやれば誤差が簡単に求まる

**デフォルトの名無しさん** · 2019/11/26(火) 23:19:37.46

fusedな3個の足し算命令とかもあると
加減算も簡単になるんだけど
そんな命令は(他のCPU含めて)見たことがない

**デフォルトの名無しさん** · 2019/11/26(火) 23:24:07.48

a=1+q の時：
y/a=y/(1+q)
=y*{1 - q + q^2 - q^3 + ... }
=y*(1-q*(1-q*(1-q...))}

**デフォルトの名無しさん** · 2019/11/26(火) 23:30:51.74

>>283
この式は、|q|<1の場合にだけ正しいので、
aをa=u*2^n (u = 1.0 + q)の形式に直してから
1/a = 1/(u*2^n)=1/(1+q)*2^(-n)
　　= (1-q*(1-q*(1-q...)))*2^(-n)
とするのですかね。
なるほど、qの精度を考えれば、乗算の回数は2個くらいまで
で済みそうですね。

**デフォルトの名無しさん** · 2019/11/26(火) 23:36:41.80

>>284
すみません、これだと二回では精度が足りなさそうですね。

**デフォルトの名無しさん** · 2019/11/26(火) 23:37:21.85

多倍長の1/aの話なら
テーラー展開は遅すぎて使いませんよ

4倍弱精度の話であれば
除算命令やテーラー展開は使いますが

どれの話をしてるのかわかるようにかいてくれませんか？

>>238 の通りなので

**デフォルトの名無しさん** · 2019/11/26(火) 23:49:53.60

>>286
多倍長の 1/a はどうやって求めたら効率が良いのでしょうか？

**デフォルトの名無しさん** · 2019/11/26(火) 23:53:50.60

>>228

**デフォルトの名無しさん** · 2019/11/27(水) 00:00:48.09

>>288
もしかすると、
y = 1/(a*x) - 1
と
y = 0
の交点をニュートン法で求めるのでしょうか。

**デフォルトの名無しさん** · 2019/11/27(水) 00:02:25.36

>>289
すみません、違いますね。

**デフォルトの名無しさん** · 2019/11/27(水) 00:27:57.72

初歩的な質問ですみません
2つのdouble型実数xとyを引数とし、x/yとy/xの大きい方を返却する関数を作成せよ。xあるいはyのときは0を返却するとする。という問題でコード書いてみたんですがうまくいきませんどこが間違っているのでしょうか

#include<stdio.h>
double func(double,double); /*プロトタイプ宣言*/

int main(void)
{
double a,b;
printf("実数をスペースで区切って入力してください\n");
scanf("%d %d",&a,&b);
printf("%d",func(a,b)); /*呼び出し*/
return 0;
}

double func(double x,double y)
{
if(x/y > y/x) return x/y;
if(y/x > x/y) return y/x;
if(x==0) return 0;
if(y==0) return 0;
}

**デフォルトの名無しさん** · 2019/11/27(水) 00:33:48.17

%dのところがおかしい
それは整数用

**デフォルトの名無しさん** · 2019/11/27(水) 00:42:47.79

ありがとうございます 1時間くらい悩んでたのが馬鹿みたいだ

**デフォルトの名無しさん** · 2019/11/27(水) 00:53:21.44

入力に0を含めてテストするように

**デフォルトの名無しさん** · 2019/11/27(水) 01:11:14.78

ifの順番変えたら完成しました

**デフォルトの名無しさん** · 2019/11/27(水) 02:13:53.15

QZは馬鹿

**デフォルトの名無しさん** · 2019/11/27(水) 02:41:24.38

xとyが等しいケースは書いたんじゃろうか

**デフォルトの名無しさん** · 2019/11/27(水) 11:43:48.59

世にある仕事の数でいうと
java:C#:C++が5:3:1くらいだな。

**デフォルトの名無しさん** · 2019/11/27(水) 12:16:41.56

このスレ過疎かと思ったら話題でた途端に加速するな

**デフォルトの名無しさん** · 2019/11/27(水) 13:47:03.06

const は要らない子

**デフォルトの名無しさん** · 2019/11/27(水) 14:58:41.90

本当はね・・・constの逆が欲しいのさ
デフォが書き込み禁止で許可を明示だったらと

キャプチャのmutableみたいな

**デフォルトの名無しさん** · 2019/11/27(水) 15:05:41.36

めんどくさいだけ

**デフォルトの名無しさん** · 2019/11/27(水) 15:08:54.83

Pointという点を表すクラスがあって、２点間の距離を取得する関数を追加したいのですが、
double Point::GetDistance(const Point &p) const
にすべきか、ただのCの関数で
double GetDistance(const Point &p1, const Point &p2)
にしたほうがいいのか迷っています。
設計的にいいのはどっちなんでしょうか？

**デフォルトの名無しさん** · 2019/11/27(水) 15:13:19.55

>>303
下
Pointに必要以上の機能を作らない

**デフォルトの名無しさん** · 2019/11/27(水) 15:32:27.13

下に1票。同じ理由

**デフォルトの名無しさん** · 2019/11/27(水) 15:33:34.15

下だな
なんでもかんでもインスタンスに生やすのは厨臭くてダサいし、対称な操作は対象に見えるべき

**デフォルトの名無しさん** · 2019/11/27(水) 15:34:48.68

>>304
ありがとうございます。
ですよね。前者の考えでいくと、いくらでもメンバ関数が増えそうな気がしていました。

**デフォルトの名無しさん** · 2019/11/27(水) 15:43:43.07

下の方が、スカラー値等の既存型や配列向けの特殊化をし易いメリットもあるかもねー

**デフォルトの名無しさん** · 2019/11/27(水) 15:55:14.01

ベクトルの引き算を定義してやるのはありでは

**デフォルトの名無しさん** · 2019/11/27(水) 16:11:06.28

下を造っておいて
operator - で下のを利用 >>309 と同じ
どちらも inline

**デフォルトの名無しさん** · 2019/11/27(水) 16:12:16.87

ああ同じではないわ
ベクトルの引き算はスカラーじゃなくてベクトル
ベクトルの絶対値を定義する

**デフォルトの名無しさん** · 2019/11/27(水) 16:29:07.34

abs(a-b)

**デフォルトの名無しさん** · 2019/11/27(水) 18:11:30.16

ベクトルの加減算や符号は紛れが無いのでオペレータで実装

乗算は内積、外積と要素ごとの積の3種類あるので
関数にする

3次元ベクトルも作る可能性があるなら
2次元ベクトルだとわかる名前にしておく
可能性が無いならそのままで

絶対値やノルム、象限などをグローバルにするかメンバ関数にするかは一長一短
設計ポリシー次第

◆QZaw55cn4c · 2019/11/27(水) 19:16:22.98

>>303
私も下
＞double GetDistance(const Point &p1, const Point &p2)
を friend 関数にします、大事にするのは対照であること、です

**デフォルトの名無しさん** · 2019/11/27(水) 19:21:07.28

>>187
メモリフラグメントを起こさないようにわざわざメモリプール切ってるのに
new/delete繰り返すオマエみたいなアホがいるからまともな製品ができねぇんだろww

**デフォルトの名無しさん** · 2019/11/27(水) 19:29:28.78

>>315
ほーう？
メモリプールでフラグメントが防げるのかww

**デフォルトの名無しさん** · 2019/11/27(水) 19:31:20.95

>>314
オペレータだとメンバ関数な実装多いよね
なんでだろう

**デフォルトの名無しさん** · 2019/11/27(水) 19:40:34.02

RTOSを使うような小規模環境だと
ヒープをしなかったりアロケートのみにしたりする
そんな環境でもC++は便利なので使えるなら使いたい

**デフォルトの名無しさん** · 2019/11/27(水) 19:40:48.50

ヒープを搭載しなかったり

**デフォルトの名無しさん** · 2019/11/27(水) 19:48:12.34

OSレスでもC++が使えるなら使う
実際それで製品出した

**デフォルトの名無しさん** · 2019/11/27(水) 19:52:22.88

対称が大事なのって、交換法則が成り立つ計算だから？

**デフォルトの名無しさん** · 2019/11/27(水) 19:54:03.88

引き算の立場は？

**デフォルトの名無しさん** · 2019/11/27(水) 19:57:18.53

主役がはっきりしてる場合はメンバ
同等な重要度の時は非メンバ

私の場合はだいたいこんな感じ

**デフォルトの名無しさん** · 2019/11/27(水) 19:58:30.31

対称かどうかはあまり関係ない

**デフォルトの名無しさん** · 2019/11/27(水) 20:25:32.56

対称性が特に問題になるのはオペランドの型が異なるケースだな
対称な演算a.op(b)をaのクラスに実装したらbのクラスにも同じものをコピペするのか?
C#の演算子オーバーロードがstaticなのはそのへんが理由だとか
Pythonなどのスクリプト言語では基本的にインスタンスメソッドとして演算子を実装するけど、
それは動的型故に事前に実装を解決できないからだね

**デフォルトの名無しさん** · 2019/11/27(水) 20:29:53.87

>>317
かつて非メンバ関数のオペレータを名前空間の外から呼び出そうとするととても残念な気持ちになるからじゃね

**デフォルトの名無しさん** · 2019/11/27(水) 20:44:42.44

オペレータオーバーロードを使うとカッコイイ気分にひたれるからだろ
それ以外の理由なんてあるのか？

**デフォルトの名無しさん** · 2019/11/27(水) 20:45:44.57

private変数の書き換えを伴うものだけメンバだな
Pointが座標値しか持ってないようなのならコンストラクタ以外は持たせない

**デフォルトの名無しさん** · 2019/11/28(木) 01:38:08.55

代入は普通メンバだろ

=
+=
-=
*=
/=

[ ]も

**デフォルトの名無しさん** · 2019/11/28(木) 01:44:12.13

当然符号も

**はちみつ餃子** ◆8X2XSCHEME · 2019/11/28(木) 02:14:28.33

>>303
これは後者が良い場合が多い。
型変換の対称性が絡むんだよ。

たとえば std::tuple<double, double> から Point への変換コンストラクタが用意されているようなとき、
メンバ関数として実装されていると左辺ではこの型変換が考慮されず、右辺では考慮されるということになる。

**デフォルトの名無しさん** · 2019/11/28(木) 02:50:39.48

>>329
代入系と添字はそもそもメンバとしてしか書けない

**デフォルトの名無しさん** · 2019/11/28(木) 06:43:27.57

>>332
>>328に言って

>>331
対称性は関係ないって
Point * double
だって型変換された方が都合が良いなら非メンバだろうに

**デフォルトの名無しさん** · 2019/11/28(木) 08:02:30.92

>>316
ほーう?
そんなことすら知らないのかww

**デフォルトの名無しさん** · 2019/11/28(木) 08:09:05.07

>>334
ハッタリしかできることねえようだな
まあ、そうだろう

**デフォルトの名無しさん** · 2019/11/28(木) 08:20:32.24

フラグメントが問題になるならアロケート専用で解放出来ないようにするとかそもそもアロケート出来ないようにするとか
固定サイズを頻繁になら独立させておけばフラグメントしない

**デフォルトの名無しさん** · 2019/11/28(木) 08:21:42.93

ヒープはヒープで1個の研究分野になるくらい
いろんな技術、方法がある

**はちみつ餃子** ◆8X2XSCHEME · 2019/11/28(木) 17:46:42.56

>>333
???
理解できないのでもうちょっとくやしく