Note that while scalar (regular) placement new is useful, the array form is more or less useless. It won't reliably place the first object in the array at the address you give it, which pretty much defeats the purpose of using placement new in the first place.

Interesting.

What does it do then? Place it at the next highest address that satisfies the alignment requirements of the type? That sounds sane, if that is in fact what happens. It just places the additional constraint on you as a programmer that you have to ensure the address you give it is suitably aligned. I would have assumed the same for non-array placement new anyhow.. does it not balk if you hand it an unaligned address?

Shit. I need to check my homework.

Okay, so I'm safe (theoretically) because I used a 1KB char buffer, but if extra storage is needed then how would you go about determining the total size needed to store the objects and extra data?

In any case, the better solution isn't to try to force the array form of placement new to work.

The assignment calls for it.

Right now I have

struct chaff {
  char dross[20];
  int slag;
}; 

const size_t BUFFER_LENGTH = 1024;
char buffer[BUFFER_LENGTH];

int main() {
  const size_t CHAFF_COUNT = 2;
  _ASSERT((CHAFF_COUNT * sizeof(chaff)) <= BUFFER_LENGTH);

  ...

  return 0;
}

I guess I could just remove the bounds check and stop being pedantic.

Actually, I think I'll just leave a comment by the assertion. This is way too much effort for this kind of assignment.