C++相談室 part159

**デフォルトの名無しさん** · 2022/02/19(土) 11:56:42.14

前スレ
C++相談室 part158
https://mevius.5ch.net/test/read.cgi/tech/1636969758/

**デフォルトの名無しさん** · 2022/02/28(月) 01:56:18.18

void f(const std::vector<int>&v){
for(size_t i=0; i!=v.size(); ++i)...
}

とかで
本来v.size()を毎回呼ばなきゃいけないけどconstだから1回呼ぶだけで十分って話とかじゃないの？

まあ俺も-O2コンパイル結果を読む気力はないからエアプ扱いしてもらって構わんが

**デフォルトの名無しさん** · 2022/02/28(月) 02:03:13.46

constなんていつでもconst_castで引っぺがせるんだから、勝手に定数畳み込みとかは出来ないし
じゃあそういうのが無いのを検知すれば出来るだろというと、そんなに賢いならconst無しの変数でも同じ事が出来るはず
結論から言うとconstは最適化に何の影響も及ぼさない
畳み込ませたい定数はconstじゃなくenumか#defineで定義するのが正解

**デフォルトの名無しさん** · 2022/02/28(月) 02:14:26.59

複数IDで暴れとるｗｗｗｗｗ朝までに具体的な事例を書いてねｗ
環境も明記されてないコンパイルも通ってないモノでは想像で言ってるだけってことになるよｗ

**デフォルトの名無しさん** · 2022/02/28(月) 06:31:25.23

>>312
この例は毎回v.size()呼んで遅くなりうる
それは最初に1回一時変数に受ければ解決するがそれがconstかどうかはまずパフォーマンスに影響しないだろう

もっというとこれは生のfor文の欠陥でこれからはstd::views::iotaを使っていくべき理由の1つだと思う

**デフォルトの名無しさん** · 2022/02/28(月) 06:47:54.89

>>315
その例はconstにしようがしなかろうがインライン展開されるので最適化結果に違いはないよ
そもそも最適化しやすくなると言ってるだけで、違いがあるとまでは言ってなかったんだけどｗ

>>314に書いたとおり、煽るだけ君は結局「想像で言ってるだけ」なんだなｗ
妄想はほどほどにしてくれｗ

最適化コードに違いがある例が以下。マクロの定義を空にすればconstなしのコードになる。
https://godbolt.org/z/YavYzrE3z
#define CONST const
template<typename T>
struct s {
T value;
operator T() CONST {return value;}
};
CONST s<int> a[] = {1,2,3,4,5};
template<typename T> T func() {
T r = 1;
for (int i = 0; i < sizeof(a)/sizeof(a[0]); ++i) {
r *= a[i];
}
return r;
}
int main() {
return func<double>();
}

**デフォルトの名無しさん** · 2022/02/28(月) 07:29:26.73

>>316
俺はこの話題に関して初めて書き込んだ者だが

**デフォルトの名無しさん** · 2022/02/28(月) 07:34:24.42

>>316
都合の良い例にしすぎだろ

**デフォルトの名無しさん** · 2022/02/28(月) 07:43:08.18

反証は1つで十分ｗ具体例の1つも書けない人は黙ってようねｗ

**デフォルトの名無しさん** · 2022/02/28(月) 08:14:09.88

ああすまん、変化しない例を出してるつもりだと思ってた
そんなコードでも変化したりするのね

**デフォルトの名無しさん** · 2022/02/28(月) 10:21:52.93

古文書には#defineは良くないってあったけど今のC++ってその辺り改善されたんですか？

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/28(月) 10:47:09.12

>>321
ある程度は。

**デフォルトの名無しさん** · 2022/02/28(月) 10:56:01.32

>>321
「その辺り」って何？
スコープとの相性が最悪って意味なら変わってないぞ

**デフォルトの名無しさん** · 2022/02/28(月) 11:04:38.67

>>323
他所からパクってきたコードですが、#defineはそのまま書き換えるだけだから以下や

#define SIX 1 + 5
#define NINE 8 + 1

int main(void)
{
printf( "What you get if you multiply six by nine: %d\n", SIX * NINE );
return 0;
}

以下の関数の呼び出しなどで意図しない挙動になったりとかです

#define SquareMulti(x, y) x * x * y
SquareMulti(++a, b)

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/28(月) 11:14:22.32

>>324
その程度なら inline や constexpr を活用するのが今は良い作法

**デフォルトの名無しさん** · 2022/02/28(月) 11:19:01.97

>>324
マクロに関してはそういう所は変わってない
餃子が言うようにマクロ以外の手段を使うというだけ

**デフォルトの名無しさん** · 2022/02/28(月) 11:20:49.97

>>321
#defineじゃないとできない/面倒なパターンが減ったという意味ならある程度はマシになってる

<numeric>とか<source_location>とかconstexpr/constevalとか

**デフォルトの名無しさん** · 2022/02/28(月) 11:24:50.52

>>321
#付いてるから、基本プリプロセッサ文だかんな

**デフォルトの名無しさん** · 2022/02/28(月) 11:39:25.77

スコープ付きの#defineが欲しい時ってあるよね…w

**デフォルトの名無しさん** · 2022/02/28(月) 12:09:06.26

ねーよｗ

**デフォルトの名無しさん** · 2022/02/28(月) 12:16:38.60

#define NAMESPACE namespase
#define NS ns

NAMESPACE NS{
void f();
}
void g(){
NS::f();
}

このへんのコードをプリプロセスの段階で正しく解釈するのは無理なのがね

#pragma defines(push)
みたいのが言語標準になればいけるか？

**デフォルトの名無しさん** · 2022/02/28(月) 12:32:49.89

馬鹿の妄想は放置して、マクロでないと困る例
#include <iostream>
#define PRINT_LOCATION() (::std::cout << __FILE__ ":" << __LINE__ << ":" << __PRETTY_FUNCTION__ << "\n")
namespace hoge {
void func() {
PRINT_LOCATION();
}
}
using namespace std;
using namespace hoge;
int main() {
PRINT_LOCATION();
func();
return 0;
}

**デフォルトの名無しさん** · 2022/02/28(月) 12:41:59.91

友達いなさそうだな

**デフォルトの名無しさん** · 2022/02/28(月) 12:49:02.69

そんなこと気になっちゃう程度の馬鹿よりは多そうだけど、多けりゃいいってもんでもないと思うぞｗ

**デフォルトの名無しさん** · 2022/02/28(月) 13:48:09.49

多くの回答ありがとうございます
やはり可能な限り#defineは避けた方が良さそうですね
ただ#defineでもできないことや、#defineにしかできないこともあるので変に毛嫌いせず勉強を進めてこうと思います

**デフォルトの名無しさん** · 2022/02/28(月) 14:03:01.00

例外中の例外なので、毛嫌いして全く問題なく、勉強する必要も全くないｗ

**デフォルトの名無しさん** · 2022/02/28(月) 15:55:04.33

Include Guard Macro以外の#defineは忘れてもいいと思う。

**デフォルトの名無しさん** · 2022/02/28(月) 17:13:33.60

ほんそれ
一生ソロプレイかつCにしがみつくつもりなら構わないけど
そうじゃないなら基本的に使わないべき遺物

**デフォルトの名無しさん** · 2022/02/28(月) 20:11:29.53

ほぼ同じ演算子オーバーロードを延々と書く場合とかマクロでまとめていいと思うけどね
テンプレートではどうしようもないレベルのメタプログラミングの手段として未だに有効

**デフォルトの名無しさん** · 2022/02/28(月) 20:17:53.65

むしろ、他言語にマクロ展開機能がないことが不満

**デフォルトの名無しさん** · 2022/02/28(月) 20:19:01.14

そうなる仕組みもどうかと思うけど、必要悪として採用するケースが「あってもいい」という程度だよ

**デフォルトの名無しさん** · 2022/02/28(月) 20:39:17.05

>>339
だよな

復号代入とかフルで揃えようとすると
毎回同じようなコードを延々書くからな

**デフォルトの名無しさん** · 2022/02/28(月) 21:11:31.61

だよなじゃねーよｗ
本当にマクロでないとできないケースなのかすら怪しいｗ

**デフォルトの名無しさん** · 2022/02/28(月) 21:21:08.91

>>339
テンプレートでできなくてマクロならできるとかそんなにはないだろ

>>340
C/C++ のマクロなんて PL/I から見たら子供騙しレベルだけどね

**デフォルトの名無しさん** · 2022/02/28(月) 23:32:29.49

>>340
C++に一番近い言語であるRustが多様な各種マクロを充実させているので乗り換えるのもよいかもね
マクロ以外にも非常に多くの問題が解決される

**デフォルトの名無しさん** · 2022/02/28(月) 23:58:07.07

ゴミのような文化を踏襲してしまった残念言語のRustさんのヘイトを上げるのはやめましょうｗ

**デフォルトの名無しさん** · 2022/03/01(火) 00:33:34.91

C++使ってるおれすげーみたいな

**デフォルトの名無しさん** · 2022/03/01(火) 01:06:15.88

C++を使いこなせないから皆下流行語の修得を目指す

**デフォルトの名無しさん** · 2022/03/01(火) 06:11:28.76

>>343
怪しいって明確に判断できねえのかよ
そもそも俺そんな話してねえし

**デフォルトの名無しさん** · 2022/03/01(火) 06:34:48.00

>>343
見てもないコードが明確に判断できたらこえーよ
そんな話じゃないって何いってんのｗ

**デフォルトの名無しさん** · 2022/03/01(火) 06:35:21.34

>>350
アンカー間違った。>>349な。

**デフォルトの名無しさん** · 2022/03/01(火) 07:02:46.96

>>350
おまえさん本当にC++使いか？
operator+とoperator+=みたいのの全組み合わせがマクロ使わずにできないとでも思うのか？

**はちみつ餃子** ◆8X2XSCHEME · 2022/03/01(火) 08:36:21.07

>>340
Cプリプロセッサを他言語で使ってもいいんですよ。

**デフォルトの名無しさん** · 2022/03/01(火) 09:06:42.29

>>340
マクロを持つ言語は多い
Rustのように用途に応じてマクロが何種類もあるケースもある

**デフォルトの名無しさん** · 2022/03/01(火) 10:19:23.90

struct B{...}*bP;
struct D1 : public B{...} d1;
struct D2 : public B{...} d2;
bP = (...)? &d1 : &d2;
これって駄目なんですね

**デフォルトの名無しさん** · 2022/03/01(火) 10:40:29.97

>>355
3項演算子の引数型が互換性のないD1*,D2*だからね

C#9あたりがターゲット型から3項演算子の型推測やってた気がするがC++に導入される日か来るんだろうか

**デフォルトの名無しさん** · 2022/03/01(火) 11:01:53.10

なるほど
素直にif文にしておきます

**デフォルトの名無しさん** · 2022/03/01(火) 11:08:34.73

つ static_cast<bP>(&d#)

**デフォルトの名無しさん** · 2022/03/01(火) 11:13:51.24

>>357
bP = (rnd() & 1)? (B*)&d1 : (B*)&d2;
ではあかんのか？

**デフォルトの名無しさん** · 2022/03/01(火) 11:14:23.15

rnd() & 1
は無視してくれｗ

**デフォルトの名無しさん** · 2022/03/01(火) 11:14:50.30

ああ、それでいいんですね
ありがとうございます

**デフォルトの名無しさん** · 2022/03/01(火) 11:54:42.57

今度はCに毒されていくC++スレｗ
プリプロセッサはincludeパス的に言語や標準ライブラリを結構意識したりしますｗ

**デフォルトの名無しさん** · 2022/03/01(火) 23:30:51.45

>>355
そういうのはRustがすっきり実現していていい感じ
静的モノモーフィングでコンパイル時に解決させる方法と
動的ディスパッチで実行時に解決させる方法の2種類を選びつつ簡単かつ安全に記述できる

**デフォルトの名無しさん** · 2022/03/02(水) 01:32:22.77

なんでこんなとこにrust信者が湧いてるん？

**デフォルトの名無しさん** · 2022/03/02(水) 03:41:00.25

C++のstatic_castで十分すっきりしてるし安全なんだがｗ

**デフォルトの名無しさん** · 2022/03/02(水) 03:51:26.38

うむ
まあRustはトレイトを導入しているためもっとフレキシブルに機能毎に事実上のキャストができる点で先に進んでる感じ

**デフォルトの名無しさん** · 2022/03/02(水) 04:16:03.37

std::visitで十分じゃないの？

**デフォルトの名無しさん** · 2022/03/02(水) 06:05:07.28

>>364
メンタルはルビ基地と同じだから相手すんな

**デフォルトの名無しさん** · 2022/03/02(水) 08:02:10.51

>>364
スレ違い野郎はNG推奨

**デフォルトの名無しさん** · 2022/03/02(水) 10:15:53.71

RustはUnityで作られてるんだからC#スレ行けよ

**デフォルトの名無しさん** · 2022/03/03(木) 11:52:56.52

有名なライブラリのコード覗いて見るとC++でもマクロ結構使ってるよね

**デフォルトの名無しさん** · 2022/03/03(木) 12:21:01.59

まあそこは女性のウェストが50cmだと思ってるスペック厨のオタクと現実に生きて実用的なものを開発してる人の違いだね

**デフォルトの名無しさん** · 2022/03/03(木) 12:24:43.91

有名ライブラリこそマクロに頼らないとやってられんとこあるからな

コンパイル環境(gcc/clang/MSVC)のスイッチとか
C++バージョンのスイッチとか(#define CONSTEVAL20 consteval/constexpr)

ボイラープレートの簡略化はどれぐらいやってるかは知らんが

**デフォルトの名無しさん** · 2022/03/03(木) 15:14:53.11

条件コンパイルには#ifdefがいるね

**デフォルトの名無しさん** · 2022/03/03(木) 16:48:19.79

文法ばかり勉強してコード書かないからマクロの必要性が見えないんだよ。

**デフォルトの名無しさん** · 2022/03/03(木) 18:39:02.62

ああ、マクロ不要論者は自分でライブラリ書いたことないというオチか
腑に落ちたわ

**デフォルトの名無しさん** · 2022/03/03(木) 19:24:38.63

まともにコード書く量も質も足りない人にはマクロの弊害を認識できてないんだろうなｗ
インクルードガードなどの条件コンパイルはプリプロセスではあるものの、一般的なマクロ置換処理ではないｗ

**デフォルトの名無しさん** · 2022/03/03(木) 19:49:49.09

本気でいってんの？このバカ

**デフォルトの名無しさん** · 2022/03/03(木) 20:05:07.59

単発IDで中身のない煽りだけの人が早速出現ｗ
臆病すぎｗｗｗｗ

**デフォルトの名無しさん** · 2022/03/04(金) 05:56:44.52

> マクロ不要論者

誰？　いたっけ、そんなやつ

**デフォルトの名無しさん** · 2022/03/04(金) 06:37:36.91

>>380
>>336あたりじゃね？

**デフォルトの名無しさん** · 2022/03/04(金) 06:43:28.40

ああ、あのキチか
相手すると馬鹿が伝染るからやめようぜ

**デフォルトの名無しさん** · 2022/03/04(金) 11:43:03.93

まだいたのか臆病者ｗ答え教えてもらってもなお理解しない人に付ける薬はないよｗ
構ってちゃんやるなら別の板でやれ

**デフォルトの名無しさん** · 2022/03/04(金) 20:47:43.90

コンパイル時にansiをunicodeに変換する簡単な方法あってある？
具体的にはmagic_enum::enum_namesで返ってくるstring_view配列をwchar_tとして貰いたいのだけど

**デフォルトの名無しさん** · 2022/03/04(金) 20:55:24.70

exe野郎は口を開く権利なしｗ
ソースコードのエンコーディングを指定するか、エスケープした文字列まで正しく変換したソースを使った上で、必要なキャストをするか、プロジェクト設定を使えｗ

**デフォルトの名無しさん** · 2022/03/04(金) 20:58:03.36

MSの教えどおりにマクロ使ってれば簡単なのにな。

**デフォルトの名無しさん** · 2022/03/04(金) 21:17:57.65

そもそも言ってる内容が怪しいｗワイド文字の話とエンコーディングの話がごっちゃになってるｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:40:05.34

ansiをunicodeにエンコードしたいって意味なんだけど自分でテーブルでもつくらないとconstevalには無理？
それ以外に方法がないならライブラリいじることにするけど

**デフォルトの名無しさん** · 2022/03/04(金) 21:47:53.46

動くサンプルを載せてみろｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:55:46.03

ansiってなにを指すん？

**デフォルトの名無しさん** · 2022/03/04(金) 21:56:54.08

アメリカの国内規格

**デフォルトの名無しさん** · 2022/03/04(金) 22:00:02.02

MS様のお庭ではローカルコードページくらいの意味だｗ

**デフォルトの名無しさん** · 2022/03/04(金) 22:05:54.66

>>390
日本語WindowsMSVCだと"あ"はansi（shift-jis）として{ 0x82, 0xA0 }になる
これをunicodeの0x3042にエンコードするって感じでconstexprに生成されたansiを変換していきたい
ライブラリ内部では__FUNCSIG__等を利用して静的にenumから文字を生成してるからL#でもして端からunicodeを生成すれば良いんだけどその場合は他にも色々と変えないとダメだからそれは最終手段にしたい

**デフォルトの名無しさん** · 2022/03/04(金) 22:07:55.03

>>393
ごたくはいいから動くサンプルを載せてみろｗ

**デフォルトの名無しさん** · 2022/03/04(金) 22:12:15.56

>>394
動くサンプルって何？
動く見通しついてないからこうして質問してるんだけどとりあえずansi版でもいいからサンプル見たいってことか？

enum class AIUEO { あ, い, う, え, お };
void print(){
constexpr auto texts = constexpr auto texts = magic_enum::enum_nameptrs<AIUEO>();
for (auto& str : texts) puts(str.data()); //ほんとはここを_putws的なunicodeを受け取るものに投げたい
}

**デフォルトの名無しさん** · 2022/03/04(金) 22:14:02.23

今即席でスマホのブラウザで書いたからconstexpr auto texts = constexpr auto texts = のところミスってるけどスルーしといて

**デフォルトの名無しさん** · 2022/03/04(金) 22:14:34.14

main関数がないので動かんな
magic_enumもないので動かんな
これがお前の「動く」サンプルなのか？？？ｗ

**デフォルトの名無しさん** · 2022/03/04(金) 22:16:37.08

出たよサンプルないと何もできないおじさん

**蟻人間** ◆T6xkBnTXz7B0 · 2022/03/04(金) 22:33:11.96

https://qiita.com/ta_dragon/items/1828ceb16bc8733526e1
貼っとくよ。

**デフォルトの名無しさん** · 2022/03/04(金) 22:42:39.88

constexpr std::string s="test";
constexpr std::wstring ws=L"test";

こいつらが通らない時点で俺は諦めた
最終的にほしい型はstd::wstring_viewだろうけど
std::array<wchar_t, size>ならなんとかなるかもしれん

**デフォルトの名無しさん** · 2022/03/04(金) 22:52:27.11

そもそもウクライナに寄付しろとか言う前に他民族、多言語に対応しろとmagic_enum作者にメールすべき。

**デフォルトの名無しさん** · 2022/03/04(金) 22:57:11.67

違うだろｗこいつが動かせてないだけだろｗｗｗｗ

**デフォルトの名無しさん** · 2022/03/04(金) 23:05:31.04

>>399
まさにnameofと同じ作者のものだけど、やっぱ__FUNCSIG__の部分からLつけていくしかなさそうだな

**デフォルトの名無しさん** · 2022/03/05(土) 00:24:50.51

まだ動かせないんかいｗ

**蟻人間** ◆T6xkBnTXz7B0 · 2022/03/05(土) 00:27:03.13

L##

**デフォルトの名無しさん** · 2022/03/05(土) 00:45:32.11

C##

**デフォルトの名無しさん** · 2022/03/05(土) 01:02:31.13

一応言っておくと__FUNCSIG__はリテラルじゃなくてシンボルだぞｗ
>type hoge.cpp
hoge(__FUNCSIG__);
>cl /P /std:c++17 hoge.cpp
Microsoft(R) C/C++ Optimizing Compiler Version 19.28.29912 for x86
Copyright (C) Microsoft Corporation. All rights reserved.

hoge.cpp

>type hoge.i
#line 1 "hoge.cpp"
hoge(__FUNCSIG__);

>
なんというか...ロクに動かせもしないアホが一足飛びに余計なことして普通なら瞬間に出来ることを他人様に何度も何度も聞いて回るというねｗ

**デフォルトの名無しさん** · 2022/03/05(土) 01:13:20.54

>>407
>__FUNCSIG__ 外側の関数のシグネチャを含む文字列リテラルとして定義されます。
直接Lは付けられないが#define L(x) L##xを使えばちゃんとワイド文字リテラルとなる
ついでに言っておくとVSのこの手のマクロはANSIではなくUTF8だったと思うぞ（固定ではなくソースコードの文字コード依存の可能性あり）

**デフォルトの名無しさん** · 2022/03/05(土) 01:23:21.22

utf8は正解なんだが、リテラルは不正解ｗ
https://godbolt.org/z/4G1vvhrEc
コンパイラがリテラルに置き換えるわけだけど、プリプロセッサではシンボルのままなので置換されると分からなくなるｗ

**デフォルトの名無しさん** · 2022/03/05(土) 01:25:23.87

MSVCの場合 /execution-charset で指定した文字コード（デフォルトはsjis=cp932）になるんじゃなかったかな

**デフォルトの名無しさん** · 2022/03/05(土) 01:37:21.06

未指定時はソースと同じらしい
https://docs.microsoft.com/ja-jp/cpp/build/reference/execution-charset-set-execution-character-set?view=msvc-170
でutf-8になってたようだな