常連

テラテイラー

クリップコレクター

注目の的

社会貢献

質問力

回答者

ベストアンサー

拍手喝采

プロフェッサー

スピードスナイプ

先生

案内人

情報収集家

鑑定士

自己紹介

有名人

## テーマ、知りたいこと

最近UnrealEngine5に手をつけたものです。
UEの目玉機能であるBlueprint(以下BP)ですが、少し触れてみて使いにくいと感じました。
以下のことについて皆様の意見をお聞きしたいです。
・皆様のBPに対する評価
・C++ではなくBPで実装すべき処理とはどのようなものがあるのか

## 背景、状況

以前はUnityでゲーム開発をしていましたがUEに手を出しました。
BPはコンパイルが高速、エラーが起きにくいなどメリットがあることは分かりました。
世間では「直感的で迅速な開発が出来る」と評価されており、中には出来るだけBPで実装すべきとの意見もありました。
しかし個人の感想としては、ノードを検索する、ノードを繋ぐ、変数を配置するなど手間が多く、時間がかかるように感じました。
また、ノードを繋ぐ線が絡み合って繋がりが見にくく、処理の全体を把握しにくいと感じました。

これらのことから、C++メインで開発しようと考えたのですが、**可読性、実装時間を犠牲にしてでもBPで実装すべき機能はあるのか**と疑問に感じました。(例えばファイルアクセスやインターネット通信はBPに大きな強みがある、など)
UEC++の文献はBPに比べて少なく、習得が難しいのは理解していますが、それを差し引いてもBPでの実装でストレスを感じてしまいます。
それともBPが直感的に感じないのがおかしいのでしょうか？

UEのブループリントが使いにくく感じる

この質問で言う C とは C99 のこと、 C++ は C++11 のことという前提を置きます。

以下のような配列をポインタで辿るプログラムがあったとして、 **`&foo[3]` の部分は C++ として未規定ではないと考えてよいですか？**

```cpp
#include <stdio.h>

int main(void) {
	int foo[3] = {1, 2, 3};
	for(int* p=foo; p<&foo[3]; ++p) {
		printf("%d", *p);
	}
}
```

----

私の思考過程をたどる形で質問をもう少し詳細にします。

C では

- `E1[E2]` は `(*((E1)+(E2)))` と等価である
- ポインタと整数の加算の結果は配列の要素か配列の最後の要素をひとつ超えたところを指さなければならない (そうでなければ未定義)
- ポインタと整数の加算の結果が配列の最後の要素をひとつ超えたところを指す場合、評価される単項 `*` 演算子のオペランドとしてはならない
- 単項 `&` のオペランドが単項 `*` の結果である場合は `&` も `*` も評価しない (両者を取り除いた場合と同じ結果)

という規則によって `&foo[3]` は `foo+3` と同じ結果となり、配列の最後の要素をひとつ越えた場所を指すポインタが生成されるけれどもそこにアクセスはしないので未定義を踏んでいないと考えられます。

しかし C++ では `&` と `*` を相殺する規則が存在しません。 そのかわりに

- [glvalue から prvalue への変換時にオブジェクトが初期化されていない場合の動作は未定義](https://timsong-cpp.github.io/cppwp/n3337/conv.lval#1)

という規則があり、単項 `&` のオペランドが単項 `*` の結果であった場合には結果的にこの変換が起こらないのでオブジェクトが初期化されているかどうかが問題にされるパスを通らず未定義にはあたらないと思います。

この理解で正しいでしょうか？ というのが質問の意図です。

C++11 より後の規格でも事情が大きく変わっているところはないと思いますが、もしも特に知る必要がある改定があるならば補足いただけるとありがたいです。

配列の最後の要素をひとつ超えた場所

## 
ある企業には安定した、予測可能な中断のないコンピュータ設備があります、これらを要件をもっともコスト効率よき満たすEC2インスタンスの購入オプションはなんですか？

## 

→この問題の答えはリザーブドインスタンスと専用ホストなんだそうですがsavingplanは違うようです。
なぜですか？
専用ホストはホストを占有するので高くなりますよね？
リザーブドインスタンスもsavingplanも途中で止まることもないですよね？

**リザーブドインスタンス（RI）**
→長期契約による割引: 1年または3年の契約で大幅な割引が適用される

**専用ホスト**
→物理サーバの専有: 特定の物理サーバを専有することで、ハードウェアレベルでの隔離と安定性が提供される

**Savings Plans**
→Savings Plansは、1年または3年の期間において、一定の使用量（$ per hour）を約束することで割引を受けるオプション

どう考えてもリザーブドインスタンス（RI）とSavings Plansが妥当だと思うのですが皆さんどうお考えでしょうか?


AWSのsavingplanを理解したい

PHPにおけるクロージャは`static function()`や`static fn()`といったstaticキーワードを付ける事ができますが、そのstaticの有用性について教えてください。

PHPのリファレンスを見ると下記のように書かれていますが、自分には`$this`が使えるか否か程度にしか思えず、staticで制限することによるメリットが思いつきません。
他にどういった差があるのでしょうか。

https://www.php.net/manual/ja/functions.anonymous.php#functions.anonymous-functions.static
> static を付けて無名関数を宣言することができます。 こうすることで、現在のクラスが無名関数を自動的にバインドすることがなくなります。 オブジェクトも、実行時にはバインドされなくなります。

また、自分が携わっているプロジェクトの既存コードの例に従って、割と考えなしにパフォーマンスの点で有利なのかなと思って、あらゆるクロージャにstaticを付けているのですが、基本的に付けるのが得策なのでしょうか？
ちなみにほぼすべて下記のような使い捨てのクロージャしか存在しません。

```php
$result = array_map(static fn(int $item) => $item * 10, $arr);
```

可能であればstaticを付けるべきケース、そうでないケースについてそれぞれ例を挙げていただけると助かります。

staticなクロージャの有用性について

## テーマ、知りたいこと

PowerShellのスクリプトファイルの実行は
デフォルトでは出来ないので、セキュリティーレベルを下げるしかないと思います。

このセキュリティーレベルを下げることに対して抵抗があるのですが
どのような運用がいいのでしょうか。

## Power Shellのスクリプトファイルを実行できるようにする方法

PowerShellのコマンドで以下等のコマンドを実行する。
Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -scope CurrentUser
とローカルで作ったスクリプトや使えるようになる。

Set-ExecutionPolicy

-ExecutionPolicy
|実行ポリシー|説明|
|:--|:--|
|Restricted|すべてスクリプトの実行を禁止|
|AllSigned|すべてのスクリプトに証明書を要求|
|RemoteSigned|インターネットからダウロードしたスクリプトに証明書を要求|
|Unrestricted|すべてのスクリプトの実行を許可|

-Scope
|実行ポリシー|説明|
|:--|:--|
|Process|現在のWindows PowerShellプロセスに対して設定された実行ポリシー|
|CurrentUser|現在のユーザに対して設定された実行ポリシー|
|LocalMachine|コンピューターのすべてのユーザーに対して設定された実行ポリシー|
|UserPolicy|コンピューターの現在のユーザーのグループポリシーによって設定された実行ポリシー|
|MachinePolicy|マシングループポリシーによって設定された実行ポリシー|


RemoteSignedの場合
ネットからダウンロードしたファイルは、実行できない。
そのあと、コピーしたファイルも実行できない。
中身を編集して上書き保存すると実行できるようになる。
「インターネットから取得したファイル」というのが
どの程度のファイルなのかは、具体的な定義は私にはまだわかっていません。

証明書をつける方法について
まだ調べてないのでわかりません。

## 背景

VBScriptが非推奨になったため、代替手段を知りたい。

## 問題視していること

セキュリティーレベルを下げる場合、使用する端末すべてで上述のコマンドを実行する必要がある。
このセキュリティーレベルを下げることについて説得力のある正当化が私にはできない。
また、そのコマンドを実行していくのも手間がかかるため抵抗がある。

## コメントに対して
「調査したことだけ・試したことが記載されていない質問」
「やってほしいことだけ」と言うような感じの指摘が来ました。

何を追記すればいいのかよくわかりませんが
少し調査したことなどを記載します。
指摘には、出来れば、何を追記してほしい。と言う旨記載して頂けると幸いです。


PowerShellの運用について

### 本文
こんにちは。MySQLのテーブル名最大長について質問させていただきたいです。

### わからないこと
- MySQL のテーブル名の byte 数計算方法
  - 日本語テキストでテーブル名を入力した際、50 文字までは作成できるが、51 文字以降だとエラーが発生する

### 前提
- 文字コードは UTF8mb4
- MySQL8.0 利用
- テーブル名には、「あ」を使用
- OS は Mac、Windows10 ともに確認

### 試したこと
- postgres を利用して、日本語テーブル名を入力したところ、接頭辞 21 文字までで切り取られる
  - postgres は **テーブル最大長 63 Byte / 日本語 UTF8 3 Byte = 21** という計算が利用されている

### 最後に
テーブル名に日本語をつけることに対しての意見ではなく、なぜMySQLだと50文字程度格納できるのか、その計算式はどのようになっているのか、を教えていただける方をベストアンサーとさせていただきます。

MySQLのテーブル名に、日本語を利用した際の計算方法について

[こちらの記事](https://monstar-lab.com/dx/solution/about-scrum/)でスクラムを勉強したのですが、
- スプリント計画でユーザーストーリーをタスクに分解する際、タスクの粒度は1日以内に完了する程度となっていますが、1ヶ月スプリントの場合タスクが最低30個、それが人数分として300個、タスクボードに並ぶことを想像すると管理が大変に思えます。
- 1日以内に完了するタスクに分けた場合、例えば設計3日、設計レビュー&指摘対応2日のようなとき、タスクは「この範囲の設計」「この範囲のレビュー&指摘対応」のようになると思いますが、情報が各チケットに分散しすぎて後で探したり全体像を整理するのが面倒な気がします。
- MAX10人とのことですが、10人でデイリースクラム15分で進捗、課題、翌日までに行うことをチーム内で共有できる気がしません。サマリだけ説明して、あとは「チケット見てね」とする感じなのでしょうか。1人ずつ説明したら絶対時間足りませんよね（説明だけでなく状況整理も必要なので）。

以上から「こんなのできるチーム存在するの？」と思ってしまいます。このあたりの時間や粒度はチームごとにカスタマイズして良いとしても、最初の基準値がそもそも異常に思えてなりません。
私が何か盛大に勘違いしているような気がするので、勘違いしていそうなポイントをご回答いただきたいです。お手数ですがよろしくお願いします。


スクラムの会議時間やタスク粒度の基準値が非現実的に思える

## テーマ、知りたいこと
MariaDBからMySQLに変更するメリットは何でしょうか？

## 背景、状況
[ConoHa サービスリニューアルのお知らせ](https://www.conoha.jp/vps/news/?btn_id=news--news_vps-news&ap=2015053190)

> ③【DBサーバーがリニューアル】
> データベース管理システムを「MariaDB」から世界で最も普及している「MySQL」に変更

ConoHaで上記のニュースがありました。

私の推測ですが、ConoHaのようにサービスとして提供する場合はMariaDBのほうが良いはずです。
MySQLは商用利用が有償、MariaDBは無償なのでMySQLは無駄なコストがかかります。
ConoHaの利益が減るデメリットがあると思います。

それでも、利益を減らしてまでMariaDBからMySQLに変更するメリットは何が考えられるでしょうか？

私の知る限り以下のようなライセンス体系です。

||商用利用|料金|
|:--|:--:|--:|
|MySQL（GPLライセンス）|不可能|無償|
|MySQL（商用ライセンス）|可能|有償|
|MariaDB（GPL v2）|可能|無償|

※MySQLは2つのライセンスが存在していて、MariaDBは1つのライセンスが存在する。
※誤っていたら指摘してください。

### 世界で最も普及している「MySQL」
GitHubのスター数基準で判断すると普及、認知度、人気度の差が倍近くあると判断できなくはない気がします。
しかし、MariaDBはMySQLのforkであり、基本的に互換性があるのであえてMySQLを採用する優位性があるとも思えません。

[2023/12/02 時点で MySQL は 9.7k](https://github.com/mysql/mysql-server)
[2023/12/02 時点で MariaDB は 5.1k](https://github.com/MariaDB/server)

### Google Cloud
少し話がズレますが、Google CloudもMariaDBが存在しません。
次の3点を提供しています。
※AWSとAzureはMariaDBとMySQLどちらも提供している

ConoHaと同様に、MariaDBのかわりにMySQLを採用するメリットがあったのでしょうか？

- MySQL
- PostgreSQL
- Microsoft SQL Server





MariaDBからMySQLに変更するメリットは？

### 実現したいこと

・ログローテーションが実行され、ログファイルの出力先が更新されなかった理由を知りたい。
・logrotateコマンドにてログローテーションがされる際に、どのタイミングでどのプロセスがファイルinodeを更新するのかを知りたい。
・HUPシグナルを発報する設定がないにもかかわらず、なぜログの出力先が更新されたのかを知りたい。

### 前提

・snmptrapを受信するサーバにおいて、snmptrap.logを日次でローテーションしている。
・snmptrap.logの出力先は/etc/rsyslog.confにて/var/log/snmptrap.logに出力するように設定している。
・ログローテーションは毎日00:00にcronにて「/usr/sbin/logrotate -f /etc/logrotate.d/snmptrap」で実行している。
・「/etc/logrotate.d/snmptrap」の内容は下記のとおり。
/var/log/snmptrap.log{
    daily
    rotate 15
    notifempty
    missingok
    create 0664 root root
}


### 発生している問題・エラーメッセージ

ある日、ログが古いファイル(snmptrap.log.1)に書き込まれているという事象が発生した。
※事象自体はOS再起動にて解消し、その後は通常通りにログローテーションをしている。

### 試したこと

・検証環境にて、snmptrapを10件/秒を受信、10秒ごとに200世代ログローテーションする検証を行ったが、事象を再現できなかった。
・logrotate、rsyslog、snmptrapに関する設定ファイルを確認したが、HUPシグナルを発報するような設定は見当たらなかった。

### 補足情報（FW/ツールのバージョンなど）

自身で調査したところ、ログローテーションはログを出力しているプロセスにHUPシグナルを投げないとログの出力先(inode)が更新されず、
古いファイルにログが出力されるとの記載があった。しかし、上記に記載したとおり、ログローテーションの設定にHUPシグナルに関する記述はない。


============================================================

事象自体はOS再起動で解消したのですが、根本原因が不明な状況となっております。
知見をお持ちの方がいらっしゃれば、ご教授願いたく思います。




ログローテーション時の新ファイルへの出力先更新について

### 実現したいこと
Next.js13でreact-hooks-Formを使いたい

### 前提

Next.jsで初めてお問い合わせフォームを作成していまして
  const {
    register,
    handleSubmit,
    watch,
    formState: { errors },
  } = useForm()
を使うと、下記の画像のエラーが起きます。

公式やyoutubeなどを見ても"use client"使っていないですが
使用するとエラーがなくなり、送信ボタンを押すと
実際には動きますが、submitで起きる再レンダリングが起きません

このまま"use client"を使用しても問題ないのか
どうしたら再レンダリングされるのか
それともinputだけコンポーネント化するべきなのか
教えていただけると幸いです。
### 発生している問題・エラーメッセージ
![イメージ説明](https://ddjkaamml8q8x.cloudfront.net/questions/2023-10-31/fcbd9ac8-d062-4e4f-9aa3-70e6559d4304.png)


### 該当のソースコード

```ここに言語名を入力
next.js
ソースコード
```
"use client"
import React from "react";
import { useForm } from "react-hook-form"
import { TitleFont } from "../fonts/TitleFont";
import css from "../componet_css/content.module.css";

const Contact = () => {
  const {
    register,
    handleSubmit,
    watch,
    formState: { errors },
  } = useForm()

const submit = (data) =>{
  console.log(data);
}

  return (
    <section className="py-20">
      <dev className="max-w-5xl mx-auto ">
        <h2
          className={` mb-8 text-center text-8xl tracking-wider ${TitleFont.className} text-gray-800`}
        >
          Contact
        </h2>
        <form onSubmit={handleSubmit(submit)} className="max-w-3xl mx-auto">
          <dl>
            <div className="mb-4">
              <dt className="mb-1">
                <label htmlFor="名前" className="text-xl">
                  お名前<span className={css.must}>必須</span>
                </label>
              </dt>
              <dd className="w-2xl">
                <input
                  type="text"
                  id="名前"
                  className={css.inputWidth}
                 {...register("name")}
                />
              </dd>
            </div>
            <div className="mb-4">
              <dt className="mb-1">
                <label htmlFor="メール" className="text-xl">
                  メールアドレス<span className={css.must}>必須</span>
                </label>
              </dt>
              <dd>
                <input
                  type="email"
                  id="メール"
                  className={css.inputWidth}
                 
                />
              </dd>
            </div>
            <div className="mb-4">
              <dt className="mb-1">
                <label htmlFor="件名" className="text-xl">
                  件名<span className={css.must}>必須</span>
                </label>
              </dt>
              <dd>
                <input
                  type="text"
                  id="件名"
                  className={css.inputWidth}
               
                />
              </dd>
            </div>
            <div className="mb-4">
              <dt className="mb-1">
                <label htmlFor="内容" className="text-xl">
                  お問い合わせ内容<span className={css.must}>必須</span>
                </label>
              </dt>
              <dd>
                <textarea
                  type="text"
                  id="内容"
                  colc="80"
                  rows="6"
                  className={css.textarea}
                  
                />
              </dd>
            </div>
            <div className={css.border3px}>
              <div className={css.border2px}>
                <p className="w-10/12 mx-auto my-4">
                  お客様からお預かりした個人情報は
                  お問い合わせに関するやり取りのみに使用いたします。
                  <br />
                  また、お預かりした個人情報は適切に管理し、
                  次のいずれかに該当する場合を除き、
                  個人情報を第三者に提供しません。
                  <br />
                  <br />
                  ・お客様の同意がある場合
                  <br />
                  ・法令に基づき開示することが必要である場合
                </p>
              </div>
            </div>
            <div className="mb-6 font-semibold"><label><input type="checkbox" />上記の入力事項及び注意事項を確認しました。</label></div>
            <div className="mb-4 text-center">
              <button type="submit" className={`${css.button} text-xl`}>
                送信
              </button>
            </div>
          </dl>
        </form>
      </dev>
    </section>
  );
};

export default Contact;

### 試したこと

  const {
    register,
    handleSubmit,
    watch,
    formState: { errors },
  } = useForm()　これがエラーの原因でした。これをけすか、use clientを設定すると動きましたがuse clientをした場合ボタンを押してもコンソールに出るが

### 補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。


Next.js13でサイトを作っているのですがuseFormを使うと"use client"を宣言しないと使えません、なぜでしょうか。

### 前提

> 指定されたオブジェクトのプロトタイプ (つまり、内部プロパティ [[Prototype]] の値) を返します。
> [Object.getPrototypeOf() - JavaScript | MDN](https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Object/GetPrototypeOf)

> アクセスされるオブジェクトの内部の [[Prototype]] (オブジェクトまたは null のどちらか) を暴露します。
> [`Object.prototype.__proto__` - JavaScript | MDN](https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Object/proto)

とMDNにあるため、同じものを返すのだろうと思っていましたが、これらが違うものを返すケースがありました。

### 発生している問題・エラーメッセージ

`Object.setPrototypeOf`を使ったり`obj.__proto__.__proto__`に代入するなどして、`[[Prototype]]`の`[[Prototype]]`を`null`に変更する（削除する？）と、`Object.getPrototypeOf(obj)`と`obj.__proto__`が一致しません。
（おそらく、下記コードを見ていただいた方が早いです）

これについて、両者の違いを教えてください。

### 該当のソースコード

```js 
{
    class Grandma {

    }

    class Mama extends Grandma {

    }

    const child = new Mama();

    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
    console.log(child.__proto__.__proto__ === Object.getPrototypeOf(Object.getPrototypeOf(child))) // true

    Object.setPrototypeOf(Object.getPrototypeOf(child), null) // null の場合は、__proto__ と Object.getPrototypeOf() が一致しない。
    // child.__proto__.__proto__ = null // 同上

    console.log(child.__proto__) // undefined
    console.log(Object.getPrototypeOf(child) === Mama.prototype) // true
    console.log(child.__proto__ === Object.getPrototypeOf(child)) // false
}

{
    class Grandma {

    }

    class Mama extends Grandma {

    }

    const child = new Mama();

    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
    console.log(child.__proto__.__proto__ === Object.getPrototypeOf(Object.getPrototypeOf(child))) // true

    Object.setPrototypeOf(Object.getPrototypeOf(child), {}) // 空のオブジェクトなどの場合は、__proto__ と Object.getPrototypeOf() が一致する。
    // child.__proto__.__proto__ = {} // 同上

    console.log(child.__proto__) //  === Mama.prototype
    console.log(Object.getPrototypeOf(child) === Mama.prototype) // true
    console.log(child.__proto__ === Object.getPrototypeOf(child)) // true
}
```

### 補足情報（FW/ツールのバージョンなど）

`Object.prototype.__proto__`が非推奨であることは理解していますので、「そもそも`Object.prototype.__proto__`を使っているのが間違い」という回答は、当方が望んでいるものではありませんのでご理解ください。


---

### 解決後の追記

解決後に以下のようにして`Object.prototype.__proto__`のゲッターを直接参照して試したところ、動作しましたので、やはりプロトタイプチェーンが切れていることが原因だとわかりました。

```js
Object.getOwnPropertyDescriptor(Object.prototype,'__proto__').get.bind(child)()
```


Object.getPrototypeOf(obj) と obj.__proto__ の違いを教えてください

当方趣味でC++をいじっている者ですが、現場(プロ)ではどういう初期化構文が一般的なのかについて、ネットで調べても分からなかったので質問させてください。

### 質問動機
他言語のように初期化構文を下の(0)のように書きたいのですが、どうやらC++ではこうしないほうがいいらしいということで、どういう初期化が許されるのか(プロに笑われないコードが書きたい)というのが質問動機です。
```cpp
// (0)
std::string str = std::string("ABC");
```

### 質問内容
いくつか質問があります。
1. コピー・ムーブコンストラクタなどが余計に呼び出されることを防ぐため、すべての初期化で(1)のような一様初期化で書くよう統一しているプロジェクトがあると、ネットで見たことがあるのでですが、これは一般的なのでしょうか。
2. (2)は(2')のシンタックスシュガーであるとの説明を別の質問で見つけたのですが、これは本当でしょうか。
3. 2.が本当なら、(3)の4つの書き方であれば使って問題ないでしょうか。なお、私は今のところこの4つをコメントに書いたような使い分けをしています。
4. もし、(2)のような書き方が一般的でないのなら、(4-1)のような書き方も一般的ではないのでしょうか。(4-2)とするべきでしょうか。
何卒ご回答よろしくお願いします。
```cpp
// (1)
std::string str{"ABC"};

// (2)
std::string str = "ABC";
// (2')
std::string str("ABC");

// (3)
std::string str("ABC"); // 普通の初期化
std::vector<int> vec{1, 2, 3}; // 配列など要素を指定する場合はこれの方が分かりやすい
std::vector<int> vec = {1, 2, 3}; // 2.と同じで上の糖衣構文と思われるのでこの書き方でもよし
std::string str = "ABC"; // 特にリテラル型やstd::string?などではこれが分かりやすそう

// (4)
std::string a = "A";
// (4-1)
std::string str = a + "BC";
// (4-2)
std::string str(a + "BC");
```


【C++】初期化構文の一般的な書き方について

### 実現したいこと／試したこと

最終的に実現したいことを端的に述べますと､ローカル変数を参照する特定の処理を定義だけしておき､あとから実行したいということになります。
そこで､まず､下記のようなソースコードを考えました。
```C++
#include <functional>
#include <iostream>
class Foo {
public:
    std::function<void()> f;
    void func() {
        int i = 1;
        std::cout << "func: " << i << ", " << &i << std::endl;
        f = [=]()->void { // 参照キャプチャ`&`不可：解放済み変数にアクセスしておかしな値が出力される
            std::cout << "lambda: " << i << ", " << &i << std::endl;
        };
        i = 2;
    }
};
int main() {
    Foo foo;
    foo.func();
    foo.f();
    return 0;
}
```
上記プログラムの実行結果は下記のようになります。
```
func: 1, 0x70fd9c
lambda: 1, 0xbf23f0
```
ポイントは､ラムダ式によって出力された変数の値が2ではなく､1であるということです。
このことから､ラムダ式のコピーキャプチャはラムダ式が定義される直前の値がコピーされる仕様であると理解しました。
しかしながら､下記のソースコードを考えたときにわからなくなりました。
```C++
#include <functional>
#include <iostream>
class Foo {
private:
    int i;
public:
    std::function<void()> f;
    void func() {
        i = 1;
        std::cout << "func: " << i << ", " << &i << std::endl;
        f = [=]()->void { // 参照キャプチャ`&`可能
            std::cout << "lambda: " << i << ", " << &i << std::endl;
        };
        i = 2;
    }
};
int main() {
    Foo foo;
    foo.func();
    foo.f();
    return 0;
}
```
変更点は､ローカル変数をメンバ変数に変更しただけです。
しかしながら､上記プログラムの実行結果は下記のようになります。
```
func: 1, 0x70fde0
lambda: 2, 0x70fde0
```
ラムダ式によって出力された変数の値が2になっています。
ラムダ式が定義されたあとに実行した値の変更がなぜか反映されてしまっています。
一体ラムダ式のコピーキャプチャはどのタイミングで実行される仕様なのでしょうか？
そもそも､一番最初のソースコード自体が未定義動作の代物なのでしょうか？
いくつかのコンパイラで試しましたが､動作が一貫していたので､C++の言語仕様に規定されていると考えていたのですが…
言語仕様のこのあたりに記載があるよ等も教えていただけると私の勉強にもなり助かります。
回答よろしくお願いします。

### 補足情報（FW/ツールのバージョンなど）

C++17


ラムダ式のコピーキャプチャの仕様を知りたい

AWSのSESでメール送信した際に、送信時のヘッダー情報を取得し記録することは可能でしょうか。

コンソール画面でメール送信しても特に履歴のようなものが確認できず、ヘッダー情報も見つけられませんでした。

プログラムでなければ取得できないようであれば、その方法など教えていただけると助かります。

よろしくお願いいたします。

AWS SESでメール送信時のヘッダー情報を取得したい

### 質問の経緯
PHP の empty() でわけのわからない仕様を見つけました。
下記を実行してみてください。

実行：https://3v4l.org/ZeZFk
```PHP
<?php
class Car
{
    protected array $tags;

    public function __get(string $prop): mixed
    {
        if (property_exists($this, $prop)) {
            return $this->{$prop};
        }
    }

    public function __set(string $prop, mixed $val): void
    {
        if (property_exists($this, $prop)) {
            $this->$prop = $val;
        }
    }
}

class CarMapper
{
    public function test(Car $car): void
    {
        echo 'そのままだとtrueになる'.PHP_EOL;
        var_dump(empty($car->tags)); // bool(true)

        echo '代入するとfalseになる'.PHP_EOL;
        $tags = $car->tags;
        var_dump(empty($tags)); // bool(false)
    }
}

$car = new Car();
$car->tags = ['tag1'];
$carMapper = new CarMapper();
$carMapper->test($car);
```

なんと、「そのままだとtrueになる」のに、「代入するとfalseになる」のです。わけがわかりません…。

### 調べたこと
一応マニュアルにはこのような記載がございましたが、別に __isset() なんて宣言していませんのでこの記載は関係ないと思いますし。（つまり __isset() が宣言されていなければ empty() は平常運転するだろうと解釈できますし。）

> オブジェクトのアクセス不能なプロパティに対して empty() を使用した場合は、もしオーバーロードメソッド __isset() が宣言されていればそれをコールします。
> https://www.php.net/manual/ja/function.empty.php


それにもし「> アクセス不能なプロパティに対して empty() を使用」していることが何か関係しているとしても、そもそも最初の var_dump() は「アクセス不能なプロパティを __get() で取得した結果に empty() を使用」していると捉えるべきだと思うのです。

つまりこうではなくて、
```PHP
empty(アクセス不能なプロパティ)
```

こう捉えるべきだと思うのです。
```PHP
empty(アクセス不能なプロパティを __get() で取得した結果)
```

なぜならこの outer() は、inner() の結果を利用しているためです。empty() だって中の結果を利用してよ！と思います。なんで中の結果を作る前にアクセスの不能性を判定するのでしょうか。わけがわかりません…。
```PHP
echo outer(inner());
function inner(){return 'inner';}
function outer($str){return 'outer'.$str;}
```

### 質問事項
改めまして質問は２つです。

➀いったいどういうロジックで「そのままだとtrueになる」のに、「代入するとfalseになる」という事象になるのでしょうか？
➁そしてどのようにして「$car->tags のような値（配列のプロパティ）が空配列であること」を確認すべきなのでしょうか？

お詳しい方、よろしくお願い致します。

※尚、empty() だけでなく isset() も同様の事象でした。

### 補足
質問の➁について、ひとまず Car に以下のような __isset() を置いて解決できました。
```PHP
    public function __isset(string $prop): bool
    {
        return property_exists($this, $prop);
    }
```

ならば改めて質問になりますが

➂この __isset() はすべてのクラスで絶対に置いておくべきだと思ったのですが、あって困ることはございますか？

もし「オレは empty() や isset() は絶対に通さないのだ！」というなら不要でしょうけれど、あって困ることがなければ備えて置いておくべきだと思いました。（もちろんこれを置かず、➁への回答としてより良いものあれば引き続き➁も募集したいです。）

PHPで代入すると結果がかわる事象について

### 概要
初めてのGo言語（オライリー・ジャパン）でGo言語の勉強をしています。
本の内容のガベージコレクションの部分で納得できない内容があり、知見をお持ちの方いればご回答いただきたいです。

### 質問
**コメントでご指摘いただいたので引用する形で修正しました。**
~~6章のポインタの内容で、「ポインタを使用するとガベージコレクタの仕事が増えるから使う際には慎重になるべき」というような趣旨の記載があります。~~

6章のポインタの内容から一部引用します。

> Goでポインタを使用する際には慎重であるべきです。前に述べたように、データの流れがわかりにくくなり、ガベージコレクタの仕事が増えます。関数にポインタを渡して構造体の中身を埋めるのではなく、関数が構造体のインスタンスを作成して返すようにします。
> 悪い例
> https://github.com/mushahiroyuki/lgo/blob/main/example/ch06/ex0608.go
> 良い例
> https://github.com/mushahiroyuki/lgo/blob/main/example/ch06/ex0609.go

※「前に述べたように」という部分は、前の節にポインタを関数に渡した先で変更する方法が記述されている（ https://github.com/mushahiroyuki/lgo/blob/main/example/ch06/ex0607.go ） ので、そのことを指していると思われます。

しかし、この例だとfはどちらもスタックに確保され、ガベージコレクタの面から見ると差が無いように思えます。
以下のような例であれば納得できます。fは関数のスコープを越えて、アドレスが外部に渡されているので、ヒープに確保されます。

```Go
package main

type Foo struct {
	Field1 string
	Field2 int
}

func MakeFoo() (*Foo, error) { //liststart1
	f := Foo{
		Field1: "val",
		Field2: 20,
	}
	return &f, nil
} //listend1

func main() {
	_, _ = MakeFoo()
}
```

ポインタを使用することによりガベージコレクタの負荷が増える理由というのが本を読んでも理解できませんでした。
私が示した上記のような使い方を避けるべきと言っているのでしょうか。
もしくは私の認識がどこか間違っているのでしょうか。

### 試したこと

両方とも実際にビルドしてみましたが、ヒープには割り当てられませんでした。

```
PS C:\workspace\go\hello-world> go build -gcflags="-m" .\ex0608.go     
# command-line-arguments
./ex0608.go:10:6: can inline MakeFoo
./ex0608.go:16:6: can inline main
./ex0608.go:18:13: inlining call to MakeFoo
./ex0608.go:10:14: f does not escape
```

```
PS C:\workspace\go\hello-world> go build -gcflags="-m" .\ex0609.go
# command-line-arguments
./ex0609.go:8:6: can inline MakeFoo
./ex0609.go:16:6: can inline main
./ex0609.go:17:16: inlining call to MakeFoo
```

**追記**
最適化、インライン化を無効にしても結果は変わりませんでした。
```
PS C:\workspace\go\hello-world> go build -gcflags="-m -N -l" .\ex0608.go
# command-line-arguments
./ex0608.go:10:14: f does not escape
```
```
PS C:\workspace\go\hello-world> go build -gcflags="-m -N -l" .\ex0609.go
PS C:\workspace\go\hello-world> 
```

### 補足情報（FW/ツールのバージョンなど）
Goのバージョン
go version go1.21.1 windows/amd64


Go言語におけるポインタの使用とガベージコレクションの関係について

# Null 合体演算子

https://www.php.net/manual/ja/migration70.new-features.php#migration70.new-features.null-coalesce-op

> null 合体演算子 (??) がシンタックスシュガーとして追加されました。 三項演算子と isset() を組み合わせる よくありがちなパターンを、より簡単に書くためのものです。 この演算子は、もし第一オペランドが非 null の値であればそれを返し、 そうでない場合は第二オペランドを返します。 

```php
$username = $_GET['user'] ?? 'nobody';
// 上のコードは、次のコードと同じ意味です。
$username = isset($_GET['user']) ? $_GET['user'] : 'nobody';
```

と書かれていますが、実際には同値ではありません。

## 上記の書き換えが同値でない結果となるコード

https://onlinephp.io/c/ce950

（追記）バージョンについては PHP 8.2 で動作確認しています。また、onlinephp.io で確認する限り、null合体演算子が導入された PHP 7.0 以降から以下に関する挙動は一貫しているようです。

### code

```php
<?php
class Foo1 {
  public function __get($prop) { return 'prop by __get()'; }
}
class Foo2 {
  public function __isset($prop) { return true; }
}
class Foo3 {
  public function __get($prop) { return 'prop by __get()'; }
  public function __isset($prop) { return true; }
}

for ($i = 1; $i <= 3; ++$i) {
  $class = "Foo{$i}";
  echo "===== result of {$class} =====", PHP_EOL;
  $foo = new $class;
  $result1 = $foo->bar ?? 'default';
  $result2 = isset($foo->bar) ? $foo->bar : 'default';
  $result3 = !@is_null($foo->bar) ? $foo->bar : 'default';
  var_dump($result1, $result2, $result3);
}
```

### output

```php
===== result of Foo1 =====
string(15) "prop by __get()"
string(7) "default"
string(15) "prop by __get()"
===== result of Foo2 =====

Warning: Undefined property: Foo2::$bar in /home/user/scripts/code.php on line 18
string(7) "default"
NULL
string(7) "default"
===== result of Foo3 =====
string(15) "prop by __get()"
string(15) "prop by __get()"
string(15) "prop by __get()"
```

Foo1 では `__get()` のみを定義し、Foo2 では `__isset()` のみを定義しています。Foo3 ではその両方を定義しています。

Foo3 では、書き換えの結果が一致するようですが、Foo1 と Foo2 はそうではありません。

`isset()` ではなく、むしろ `@is_null()` での書き換えの結果に一致しているようです。

Foo1 の結果が異なることについては、PHPマニュアルでも [note](https://www.php.net/manual/ja/language.operators.comparison.php#128337) として指摘されていますが、マニュアルには反映されていません。

# 質問

- (q1) PHPマニュアルでは「isset() との書き換えが同値」であるように書かれていますが、実際には上記の通り異なる挙動となっている「経緯」について言及されている文献をご存知でしたらご教示ください。
- (q2) この挙動の違いについて言及している文献をご存知でしたらご教示ください。
- (q3) 他にこれに関する関連情報や補足情報があればご教示ください。

PHPマニュアルに「null合体演算子」の正確な仕様を記述しておいてもらいたいと思っているのですが、そのような依頼やトピックを立てるプラットフォームはあるのでしょうか。もしご存知でしたらこちらも併せて教えていただけると助かります。

# 追記

## E_WARNING の発生について

`@is_null` での書き換えは、挙動こそ似ているものの、E_WARNING が発生する点で同値とは言えませんでした。

```php
set_error_handler(function($errno, $errstr, $errfile, $errline) {
  printf("(errno = %d): %s in %s on line %d\n", $errno, $errstr, $errfile, $errline);
});
```

のようなコードを仕込むと、`@is_null` の実行時に E_WARNING が捕捉されます。null合体演算子では何も捕捉されません。

## null coalescing operator の経緯について

"PHP RFC: Null Coalesce Operator" https://wiki.php.net/rfc/isset_ternary のページを見つけました。

※この RFC のタイトルは文法的におかしいと指摘されており、"Null Coalescing Operator" に修正されています。

関連情報については https://github.com/php/php-src/issues から "null coalescing" 等のキーワードで検索すればいくつか見つかるようです。

上記 RFC にある通り、元々は `isset()` のショートハンドとして用意されたのがnull合体演算子であって、`__get()` のみを実装したクラスにおいて挙動が `isset()` での書き換えと異なることについては些細な問題なような印象があります。詳細な経緯を知りたければ、上記 issues にでもトピックを立てるとよいのかもしれません。また、歴史的には `ifsetor()` なる関数も提案されているようです。



PHPのnull合体演算子（null coalescing operator）が isset() の書き換えと同値でない経緯について

生の文字列からトークンごとに分解するパーサーを作成しているのですが、Ident（識別子）とNumber（数字）の区別に苦戦しています。
具体的には、`abc123`は識別子で、`123abc`は数字でもなく識別子でもないのでエラーにしたいのですが、以下のプログラムでパースしてしまうとエラーなく`123`と`abc`に分解されてしまいます。本来は`123 abc`等、間にスペース、記号が挟まっている必要があるため、`123abc`等を弾きたいですが方法が思い浮かびません。
プログラム内の`（※問題はココ※）`の部分をどのように変えればいいのでしょうか？
```js
function parse(raw) {
  class Enum { // インデックス順に割り振るためのクラス
    constructor(props) {
      Object.keys(props).forEach((v, i) => {
        props[v] = i;
      });
      return props;
    }
  }
  let tokens = [];
  const Kind = new Enum({ // 型理論を定義
    Ident: 0,
    String: 0,
    Number: 0,
    Or: 0,
    And: 0,
    Incre: 0,
    Decre: 0,
    Equal: 0,
    NotEq: 0,
    LessEq: 0,
    GreatEq: 0,
    Settings: 0,
    Less: 0,
    Great: 0,
    Not: 0,
    Plus: 0,
    Minus: 0,
    Multi: 0,
    Divi: 0,
    At: 0,
    Star: 0,
    Amp: 0,
    Dollar: 0,
    LBracket: 0,
    RBracket: 0,
    LParen: 0,
    RParen: 0,
    LBrace: 0,
    RBrace: 0,
    Hash: 0,
    Semicolon: 0,
    True: 0,
    False: 0,
    Null: 0,
    Undefined: 0,
    EofTkn: 0,
    Null: 0
  });
  const Symbols = [ // 記号を定義
    ["&&", Kind.Or],
    ["||", Kind.And],
    ["++", Kind.Incre],
    ["--", Kind.Decre],
    ["==", Kind.Equal],
    ["!=", Kind.NotEq],
    ["<=", Kind.LessEq],
    [">=", Kind.GreatEq],
    ["#!", Kind.Setting],
    ["<", Kind.Less],
    [">", Kind.Great],
    ["!", Kind.Not],
    ["+", Kind.Plus],
    ["-", Kind.Minus],
    ["*", Kind.Multi],
    ["/", Kind.Divi],
    ["@", Kind.At],
    ["*", Kind.Star],
    ["&", Kind.Amp],
    ["$", Kind.Dollar],
    ["[", Kind.LBracket],
    ["]", Kind.RBracket],
    ["(", Kind.LParen],
    [")", Kind.RParen],
    ["{", Kind.LBrace],
    ["}", Kind.RBrace],
    ["#", Kind.Hash],
    [";", Kind.Semicolon]
  ];
  const Idents = [ // 予約語を定義
    ["true", Kind.True],
    ["false", Kind.False],
    ["null", Kind.Null],
    ["undefined", Kind.Undefined]
  ];
  Object.assign(Symbols, {
    symbol: 0,
    kind: 1
  });
  Object.assign(Idents, {
    ident: 0,
    kind: 1
  });
  let token = { kind: Kind.Null, val: null };
  let i = 0;
  function nextToken() {
    token = { kind: Kind.Null, val: null };
    while(isspace(raw[i])) i++; // 空白は無視する
    if(!raw[i]) { // ""の場合は文字列の終わり
      token = { kind: Kind.EofTkn, val: null };
    } else if(isnumber(raw[i])) { // 数字
      let num = 0;
      for(; isnumber(raw[i]); i++) { // 文字列を数値に変換（※問題はココ※）
        num = num * 10 + (raw[i].charCodeAt() - 48);
      }
      token = { kind: Kind.Number, val: num };
    } else if(isalpha(raw[i])) { // 識別子
      let ident = "";
      for(; isalphanumeric(raw[i]); i++) { // [0-9a-zA-Z_]ではなくなるまで次の文字を読む
        ident += raw[i];
      }
      for(let j = 0; j < Idents.length; j++) { // 予約語を確認
        if(Idents[j][Idents.ident] == ident) {
          token = { kind: Idents[j][Idents.kind], val: null };
        }
      }
      if(token.kind == Kind.Null) { // 予約語ではない場合は識別子にする
        token = { kind: Kind.Ident, val: ident };
      }
    } else if(raw[i] == '"') { // 文字列
      i++;
      let str = "";
      while(true) {
        if(raw[i] == "\\" && raw[i+1] == "\\") { // \\ → \
          str += "\\";
          i++;
        } else if(raw[i] == "\\" && raw[i+1] == '"') { // \" → "
          str += '"';
          i++;
        } else if(raw[i] == '"') { // 文字列の終わり
          token = { kind: Kind.String, val: str };
          break;
        } else if(!raw[i] || raw[i] == "\n") { // 改行が入っている場合はエラー
          throw new SyntaxError();
        } else { // 次の文字を読む
          str += raw[i];
        }
        i++;
      }
      i++;
    } else {
      let sym1 = raw[i];
      let sym2 = raw[i] + raw[i+1];
      for(let j = 0; j < Symbols.length; j++) { // 記号を読む
        if([sym1, sym2].includes(Symbols[j][Symbols.symbol])) {
          token = { kind: Symbols[j][Symbols.kind], val: Symbols[j][Symbols.symbol] };
          i += Symbols[j][Symbols.symbol].length;
        }
      }
      if(token.kind == Kind.Hash) { // コメントなので改行まで飛ばす
        while(raw[i] == "\n" || !raw[i]) i++;
        i++;
        nextToken(); // 次のトークンを読む
      } else if(token.kind == Kind.Null) { // 何も変わっていない場合は未定義な文字なのでエラー
        throw new SyntaxError();
      }
    }
  }
  function isspace(s) {
    return s?.match(/^[\s\r\n]$/);
  }
  function isalphanumeric(s) {
    return s?.match(/^[a-z0-9_]$/i);
  }
  function isalpha(s) {
    return s?.match(/^[a-z_]$/i);
  }
  function isnumber(s) {
    return s?.match(/^[0-9]$/);
  }
  while(token.kind != Kind.EofTkn) { // 文字列の終わりまでトークンを読む
    nextToken();
    tokens.push(token);
  }
  return tokens;
}
```

test1
```js
parse('123+abc "str"');
[
  {kind: 2, val: 123}, // 2: Kind.Number
  {kind: 15, val: '+'}, // 15: Kind.Plus
  {kind: 0, val: 'abc'}, // 0: Kind.Ident
  {kind: 1, val: 'str'}, // 1: Kind.String
  {kind: 35, val: null}  // 35: Kind.EofTkn
]
```
test2
```js
parse('abc123 123abc');
[
  {kind: 0, val: 'abc123'}, // 0: Kind.Ident
  {kind: 2, val: 123}, // 1: Kind.Number
  {kind: 0, val: 'abc'}, // 0: Kind.Ident ← ？？？？？
  {kind: 35, val: null}  // 35: Kind.EofTkn
]

自作トークンパーサーで想定外の動作をする

## テーマ、知りたいこと

リスコフの置換原則に違反する例は分かったのですが、どう改善して実装すればいいのか分からなかったので、みなさんならどう実装するのか意見をください。

## 背景、状況

SOLID原則の勉強中に以下の記事を読みました。
[【SOLID】リスコフの置換原則を完全に理解したい](https://qiita.com/k2491p/items/d442344a462d3a574acc)

そこで違反事例として以下のRPGを例に上げていました。
> ![桜](https://camo.qiitausercontent.com/a50ea765add0b9341cd667a293c63ffe99004521/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f323532393336322f35316630613335352d373030612d333237312d386333302d3063376330663636633632352e706e67)
ここで
- 剣士が使える武器は剣のみ
- 魔法使いが使える武器は魔法の杖のみ
という条件を加えると事前条件を強めているので違反するという例です。

武器の判断を簡略化するためにタグを追加して、悪い例をpythonで書いてみました。
```python
class Weapons():
    def __init__(self, tag, name, power) -> None:
        self.tag = tag
        self.name = name
        self.power = power

class Sword(Weapons):
    def __init__(self, name, power) -> None:
        super().__init__("Sword", name, power)

class MagicWand(Weapons):
    def __init__(self, name, power) -> None:
        super().__init__("MagicWand", name, power)


class Player:
    def attack(self, weapon: Weapons):
        ...
        # 攻撃処理

class Sowerdman(Player):
    def attack(self, weapon: Weapons):
        if weapon.tag == "Sword":
            super().attack(weapon)
        # 事前条件を強めているのでリスコフ違反

class Wizard(Player):
    def attack(self, weapon: Weapons):
        if weapon.tag == "MagicWand":
            super().attack(weapon)
        # 事前条件を強めているのでリスコフ違反
```

これがリスコフ違反になるのは理解できましたが、ではどうすれば綺麗に実装できたと思いますか？
Pythonで書きましたが、Pythonで無くてもいいです。
プログラミング勉強中なので、みなさんの意見を聞かせてください。

リスコフの置換原則に違反しない実装とは？

### 実現したいこと

以下のようなテーブルがあり、
「クラスの75%以上の生徒が８０点以上のクラス」を取得するという問題があります。
正解のSQLは、Bクラスのみが取得できるようになります。

この問題について、一度自分で考えてみたSQLでは結果が取得できませんでした。
ただ、どうしてもなぜ結果が取得できないのかわからないため、どなたかご教授お願い致します。
![イメージ説明](https://ddjkaamml8q8x.cloudfront.net/questions/2023-04-10/1dc33f1c-8b28-4be2-8e84-48862a7402a8.png)

まず、正解のSQLは以下のようなものでこれでBクラスのみが取得できます。

select class
    from testresults
group by class
having 0.75 * count(*) <= sum(case when score >= 80 then 1 else 0 end)

一方で私が考えた以下のSQLでは「0 rows affected」となり、１件も取得できませんでした。

select class
    from testresults
group by class
having 0.75 <= sum(case when score >= 80 then 1 else 0 end) / count(*)

２つのSQLで違うところはhaving句の中でcount(*)が
左辺にあるか、右辺にあるかだけです。
そのため、同じ結果（Bクラスが取得できる）になると思っているのですが、
同じ結果になりません。何故だかわかる方ご教授お願い致します。

### 試したこと

演算子の優先順位について調べてみたのですが、掛け算割り算のほうが
不等号よりも優先して処理されるので、やはり同じ結果になるのではと思っただけでした。

### 補足情報（FW/ツールのバージョンなど）

使用しているデータベースは「PostgreSQL13」です。

ご不明点がありましたら、ご指摘ください。